A theory of bipolar synchronization scheme

DOI10.1016/0304-3975(84)90137-3zbMath0547.68054OpenAlexW2058791725MaRDI QIDQ799113

P. S. Thiagarajan, Hartmann J. Genrich

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90137-3

zbMATH Keywords

distributed systemsconcurrent programsPetri netsconcurrencybipolar synchronization schemessynthesis procedures

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Property-preserving transformations of elementary net systems based on morphisms ⋮ Negotiation as concurrency primitive ⋮ Place/transition nets with debit arcs ⋮ Structure theory of equal conflict systems ⋮ Traps characterize home states in free choice systems ⋮ Simplified proof of the blocking theorem for free-choice Petri nets

Cites Work

• Automata and concurrency
• A calculus of communicating systems
• System modelling with high-level Petri nets
• Coloured Petri nets and the invariant-method
• Analysis of Petri nets by stepwise refinements
• Marked directed graphs
• Synchronisationsgraphen
• Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance
• On the Interconnection of Asynchronous Control Structures
• Top-down design in the context of parallel programs
• On the Equivalence of Asynchronous Control Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A theory of bipolar synchronization scheme