An algebra for parallelism based on petri nets-Reference-Cited by-同舟云学术

An algebra for parallelism based on petri nets

Published:1978 Issue: Volume: Page:39-55
ISSN:0302-9743
Container-title:Mathematical Foundations of Computer Science 1978
language:
Short-container-title:

Author:

Kotov V. E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-08921-7_55.pdf

Reference17 articles.

1. Narinyani, A.S. Theory of parallel programming: Formal Models, Advances in Information Systems Sciences, 6, Plenum Press, New York, 1976.

2. Mazurkiewicz, A. Invariants of Concurrent Programs, Infopol Conference Proc., Warsaw, 1976.

3. Winkowski, T. On Algebraic Characterization of the Behavior of Non-Sequential Systems, Information Processing Letters, 6, No. 4, 1977, 105–109.

4. Campbell, R.H., Habermann, A.N. The Specification of Process Synchronization by Path Expressions, Springer Lecture Notes on Computer Science, 16, Berlin, 1974.

5. Lauer, P.E., Campbell, R.H. Formal Semantics for a Class of High-level Primitives for Coordinating of Concurrent Processes, Acta Informatica, No. 5, 1975, 297–332.

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

1. Univalent Double Categories;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

2. Hilbert Composition of Multilabelled Events;Lecture Notes in Computer Science;2024

3. The Ins and Outs of Petri Net Composition;Application and Theory of Petri Nets and Concurrency;2022

4. Multilabeled Petri Nets;Formal Aspects of Component Software;2020

5. Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets;Application and Theory of Petri Nets and Concurrency;2015