HMSCs as Partial Specifications...with PNs as Completions-Reference-Cited by-同舟云学术

HMSCs as Partial Specifications...with PNs as Completions

Published:2001 Issue: Volume: Page:125-152
ISSN:0302-9743
Container-title:Modeling and Verification of Parallel Processes
language:
Short-container-title:

Author:

Caillaud Benoit,Darondeau Philippe,Hélouët Loïc,Lesventes Gilles

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45510-8_5

Reference24 articles.

1. Lect Notes Comput Sci;R. Alur,1999

2. Badouel, E., Caillaud, B., Darondeau, Ph.: Distributing Finite Automata through Petri Net Synthesis. (draft available from the authors)

3. Berstel, J.: Transductions and Context-Free Languages. Teubner Studienbücher, Stuttgart (1979)

4. Caillaud, B.: Bounded Petri Net Synthesis Techniques and their Applications to the Distribution of Reactive Automata. JESA 9-10 no.33 (1999) 925–942

5. Damm, W., Harel, D.: LCSs: Breathing Life into Message Sequence Charts. Report CS98/09, Weizmann Institute of Technology (1998)

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

1. Infinite-state high-level MSCs: Model-checking and realizability;Journal of Computer and System Sciences;2006-06

2. The Synthesis Problem of Netcharts;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006

3. Causal Closure for MSC Languages;Lecture Notes in Computer Science;2005

4. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers;Lecture Notes in Computer Science;2005

5. Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems;Lectures on Concurrency and Petri Nets;2004