Behaviour Equivalences in Timed Distributed π-Calculus-Reference-Cited by-同舟云学术

Behaviour Equivalences in Timed Distributed π-Calculus

Published:2008 Issue: Volume: Page:190-208
ISSN:0302-9743
Container-title:Software-Intensive Systems and New Computing Paradigms
language:
Short-container-title:

Author:

Ciobanu Gabriel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89437-7_13

Reference11 articles.

1. Lecture Notes in Computer Science;B. Aman,2007

2. Ciobanu, G.: Interaction in Time and Space. Electronic Notes in Theoretical Computer Science 203, 5–18 (2008)

3. Ciobanu, G., Prisacariu, C.: Timers for Distributed Systems. Electronic Notes in Theoretical Computer Science 164, 81–99 (2006)

4. Ciobanu, G., Prisacariu, C.: Barbed Bisimulations for Timed Distributed π-Calculus. In: 2nd Int’l Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, pages 6 (2006)

5. Felleisen, M., Wright, A.K.: A Syntactic Approach to Type Soundness. Information and Computation 115, 38–94 (1994)

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

1. Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems;Mathematics;2021-11-11

2. Verification of critical systems described in real-time TiMo;International Journal on Software Tools for Technology Transfer;2016-11-02

3. Behavioural observations of cell movements with timing aspects;Nano Communication Networks;2015-09

4. Timed Mobility and Timed Communication for Critical Systems;Formal Methods for Industrial Critical Systems;2015

5. Behavioural Equivalences over Migrating Processes with Timers;Formal Techniques for Distributed Systems;2012