On the semantics of concurrency: Partial orders and transition systems-Reference-Cited by-同舟云学术

On the semantics of concurrency: Partial orders and transition systems

Published:1987 Issue: Volume: Page:123-137
ISSN:0302-9743
Container-title:TAPSOFT '87
language:
Short-container-title:

Author:

Boudol G.,Castellani I.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-17660-8_52.pdf

Reference34 articles.

1. G. Boudol, Notes on Algebraic Calculi of Processes, in Logics and Models of Concurrent Systems (K. Apt, Ed.) NATO ASI Series F13, Springer-Verlag (1985) 261–303.

2. G. Boudol, I. Castellani, Concurrency and Communication, full version of this paper, in preparation (1986).

3. S. Brookes, W. C. Rounds, Behavioural Equivalence Relations Induced by Programming Logics, ICALP 83, Lecture Notes in Comput. Sci. 154 (1983) 97–108.

4. I. Castellani, P. Franceschi, U. Montanari, Labelled Event Structures: a Model for Observable Concurrency, in Formal Description of Programming Concepts 2 (D. Bjørner, Ed.), North-Holland (1983) 383–400.

5. I. Castellani, M. Hennessy, Distributed Bisimulations, to be published (1985).

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

1. Reasoning About Promises in Weak Memory Models with Event Structures;Formal Methods;2023

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

3. Event Structure Semantics for Multiparty Sessions;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

4. Behavioral Equivalence of Security-Oriented Interactive Systems;IEICE Transactions on Information and Systems;2016

5. On Weighted Petri Net Transducers;Application and Theory of Petri Nets and Concurrency;2014