Scalable Typestate Analysis for Low-Latency Environments

von Arslanagić, Alen
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

Executable Semantics and Type Checking for Session-Based Concurrency in Maude

von Restrepo, Carlos Alberto Ramírez
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

von Keizer, Alex C.
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

New approach to the innovation process in emerging economies : the manufacturing sector case in Chile and Peru

von Heredia Pérez, Jorge A.
Veröffentlicht in Technovation (2019)

The effect of local institutions on the competitive strategies of exporters : the case of emerging economies in Latin America

von Heredia Pérez, Jorge A.
Veröffentlicht in Journal of business research (2023)

Impact of competition from unregistered firms on R&D investment by industrial sectors in emerging economies

von Heredia Pérez, Jorge A.
Veröffentlicht in Technological forecasting & social change (2018)

Las profesiones en México frente al mercado de trabajo : los retos de la formación

Veröffentlicht 2004

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th International Federated Confe...

Veröffentlicht 2019