Distributed Semantics and Implementation for Systems with Interaction and Priority-Reference-Cited by-同舟云学术

Distributed Semantics and Implementation for Systems with Interaction and Priority

Published:2008 Issue: Volume: Page:116-133
ISSN:0302-9743
Container-title:Formal Techniques for Networked and Distributed Systems – FORTE 2008
language:
Short-container-title:

Author:

Basu Ananda,Bidinger Philippe,Bozga Marius,Sifakis Joseph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68855-6_8

Reference9 articles.

1. Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed semantics and implementation for systems with interaction and priority. Technical report, Verimag, Centre Équation, 38610 Gières (March 2008)

2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3–12 (2006)

3. Bliudze, S., Sifakis, J.: The algebra of connectors – structuring interaction in BIP. In: EmSoft, pp. 11–20 (2007)

4. Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)

5. Garland, S.J., Lynch, N.A.: The ioa language and toolset: Support for designing, analyzing, and building distributed systems. Technical Report MIT/LCS/TR-762, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA (August 1998)

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

1. Monitoring Distributed Component-Based Systems;Formal Aspects of Component Software;2021

2. Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation;Formal Aspects of Computing;2017-11

3. Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments;2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA);2017-10

4. From high-level modeling toward efficient and trustworthy circuits;International Journal on Software Tools for Technology Transfer;2017-06-22

5. Transforming VHDL descriptions into formal component-based models;Proceedings of the 27th International Symposium on Rapid System Prototyping: Shortening the Path from Specification to Prototype;2016-10