Author:
Degano Pierpaolo,Montanari Ugo
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference27 articles.
1. Comportement de Processus;Arnold,1982
2. A theory of communicating sequential processes;Brookes;J. Assoc. Comput. Mach.,1984
3. Semantics of communicating processes;Broy;Inform. and Control,1984
4. Graph grammars for distributed systems;Castellani,1983
5. On the observational semantics of fair parallelism;Darondeau,1983
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02
2. Concurrency Paradigms;Paradigms of Concurrency;2022
3. Relational structures for concurrent behaviours;Theoretical Computer Science;2021-03
4. Event Structure Semantics for Multiparty Sessions;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Modeling concurrency with interval traces;Information and Computation;2017-04