An algebraic theory for behavioral modeling and protocol synthesis in system design-Reference-Cited by-同舟云学术

An algebraic theory for behavioral modeling and protocol synthesis in system design

Published:2006-03 Issue:2 Volume:28 Page:131-151
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Method Syst Des

Author:

Talpin Jean-Pierre,Le Guernic Paul

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-006-7845-7.pdf

Reference16 articles.

1. Amagbegnon TP, Besnard L, Le Guernic P (1995) Implementation of the data-flow synchronous language Signal. In Conference on Programming Language Design and Implementation. ACM Press

2. Benveniste A, Caspi P, Carloni LP, Sangiovanni-Vincentelli AL (2003) Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. In: Embedded Software Conference. Lecture Notes in Computer Science, Springer Verlag

3. Benveniste A, Caspi P, Le Guernic P, Marchand H, Talpin J-P, Tripakis S (2002) A protocol for loosely time-triggered architectures. In: Embedded Software Conference. Lecture Notes in Computer Science, Springer Verlag

4. Buck JT, Ha S, Lee E, Messerschmitt D (1994) Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. Int J Comp Simul 4:155–182.

5. Carloni LP, McMillan KL, Sangiovanni-Vincentelli AL (1999) Latency-insensitive protocols. In: Proceedings of the 11th. International Conference on Computer-Aided Verification. Lecture notes in computer science v. 1633. Springer Verlag

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

1. Polychronous Model and Kahn Process Networks;SSRN Electronic Journal;2022

2. A Process Algebraic View of Latency-Insensitive Systems;IEEE Transactions on Computers;2009-07

3. The Role of Back-Pressure in Implementing Latency-Insensitive Systems;Electronic Notes in Theoretical Computer Science;2006-01