Homomorphisms between models of parallel computation

DOI10.1016/0022-0000(82)90014-9zbMath0506.68047OpenAlexW2061093638MaRDI QIDQ1836982

Raymond E. Miller, Takumi Kasai

Publication date: 1982

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(82)90014-9

zbMATH Keywords

Petri netsvector addition systemsvector replacement systemsgeneralized Petri nets

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets ⋮ Reduction and covering of infinite reachability trees ⋮ Testing for unboundedness of fifo channels ⋮ Simulation, reduction and preservation of correctness properties of parallel systems ⋮ An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets ⋮ On termination and phase changes in the presence of unreliable communication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The equality problem for vector addition systems is undecidable
• On reduction of asynchronous systems
• Parallel program schemata
• Reduction
• Formal verification of parallel programs
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
• A Comparison of Some Theoretical Models of Parallel Computation

This page was built for publication: Homomorphisms between models of parallel computation