A Truly Concurrent Semantics for Reversible CCS

Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS). In its original formulation, each CCS process is equipped with a memory that records its performed actions, which is t...

全面介紹

書目詳細資料

Principais autores:	Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
格式:	Artigo
語言:	Inglês
出版:	Logical Methods in Computer Science e.V. 2024-12-01
叢編:	Logical Methods in Computer Science
主題:	computer science - logic in computer science computer science - information theory
在線閱讀:	http://lmcs.episciences.org/12332/pdf
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!