Parallel systems specifications with coloured Petri nets and algebraic specifications-Reference-Cited by-同舟云学术

Parallel systems specifications with coloured Petri nets and algebraic specifications

Published:1987 Issue: Volume: Page:293-308
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Vautherin Jacques

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-18086-9_31

Reference31 articles.

1. [ADJ 78] Groupe ADJ: J.A. Goguen, J.W. Thatcher, E.G. Wagner. "An initial algebra approach to the specification, correctness and implementation of abstract data types". Current Trends in Programming Methodology, vol. IV, R.T. Yeh Ed. Prentice Hall, New Jersey (1978).

2. [Berthelot 83] G. Berthelot. "Transformation et analyse de réseaux de Petri. Application aux protocoles". Thèse de Doctorat d'Etat, Université de Paris-Sud (1983).

3. [Berthomieu 81] B. Berthomieu. "Algebraic specification of communication protocols". UCS/Inform. Sci. Inst., Rep. RR-81-98 (1981).

4. [Brams 83] G.W. Brams. "Réseaux de Petri: théorie et pratique". Masson (Ed.), Paris (1983).

5. [Dijkstra 68] E.W. Dijkstra. "Cooperating sequential processes". In Programming Languages, F. Genuys (ed.), Academic Press, New York, pp. 43–112 (1968).

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

1. Skeleton Abstraction for Universal Temporal Properties;Application and Theory of Petri Nets and Concurrency;2021

2. Verification and Validation of Formal Data-Centric Business Models;Scientific Annals of Computer Science;2015

3. General composition for high level Petri nets and its properties;Open Computer Science;2012-01-01

4. A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis;Transactions on Petri Nets and Other Models of Concurrency VI;2012

5. Towards a Standard for Modular Petri Nets: A Formalisation;Applications and Theory of Petri Nets;2009