Partial orderings descriptions and observations of nondeterministic concurrent processes-Reference-Cited by-同舟云学术

Partial orderings descriptions and observations of nondeterministic concurrent processes

Published:1989 Issue: Volume: Page:438-466
ISSN:0302-9743
Container-title:Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
language:
Short-container-title:

Author:

Degano Pierpaolo,De Nicola Rocco,Montanari Ugo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0013030

Reference31 articles.

1. Aceto, L., De Nicola, R. and Fantechi, A. Testing Equivalences for Event Structures, in Mathematical Models for the Semantics of Parallelism (M. Venturini Zilli, Ed.), LNCS, 280, Springer-Verlag, Heidelberg, 1987, pp. 1–20.

2. Austry, D. and Boudol, G. Alg`ebre de Processus et Synchronization, Theoret. Comput. Sci., 30, 1 (1984), 91–131.

3. Boudol, G. and Castellani, I. On the Semantics of Concurrency: Partial Orders and Transition Systems, in Proc. TAPSOFT-CAAP '87, Lecture Notes in Computer Science, 249, Springer-Verlag, Heidelberg, 1987, pp. 123–137.

4. Castellani,I. Franceschi,P. and Montanari,U. Labeled Event Structures: A Model for Observable Concurrency, in Formal Description of Programming Concepts II (D. Bijørner, Ed.), North Holland, Amsterdam, 1983, pp. 383–400.

5. Degano,P., De Nicola,R. and Montanari,U. Observational Equivalences for Concurrency Models, in Formal Description of Programming Concepts III (M. Wirsing, Ed.), North Holland, Amsterdam, 1987, pp. 105–132.

Cited by 60 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus;Electronic Proceedings in Theoretical Computer Science;2022-09-06

2. Characterising spectra of equivalences for event structures, logically;Information and Computation;2022-05

3. Behavioural logics for configuration structures;Theoretical Computer Science;2022-04

4. Team bisimilarity, and its associated modal logic, for BPP nets;Acta Informatica;2020-03-13

5. Conflict vs Causality in Event Structures;Electronic Proceedings in Theoretical Computer Science;2019-08-22