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

Autor:	Jorge A. Pérez, Carlos Alberto Ramírez Restrepo
Rok vydání:	2022
Zdroj:	Rewriting Logic and Its Applications ISBN: 9783031124402
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::63e7c0cb1fb8551b3973409c6cbb06b3 https://doi.org/10.1007/978-3-031-12441-9_12 Zobrazit plný text záznamu