Homomorphisms between models of parallel computation

DOI10.1016/0022-0000(82)90014-9MaRDI QIDQ1836982zbMATH OpenOpenAlexFDO

Authors Takumi Kasai, Raymond E. Miller

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)

Cites work

• scientific article; zbMATH DE number 3466521 (Why is no real title available?)
• scientific article; zbMATH DE number 3557247 (Why is no real title available?)
• scientific article; zbMATH DE number 3624775 (Why is no real title available?)
• scientific article; zbMATH DE number 3420254 (Why is no real title available?)
• A Comparison of Some Theoretical Models of Parallel Computation
• Formal verification of parallel programs
• On reduction of asynchronous systems
• Parallel program schemata
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
• Reduction
• The equality problem for vector addition systems is undecidable

Cited in

(6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1836982)