Synchronization Problems Solvable by Generalized PV Systems

DOI10.1145/322169.322175zbMath0426.68040OpenAlexW2031436140MaRDI QIDQ3862421

Yechezkel Zalcstein, Peter B. Henderson

Publication date: 1980

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322169.322175

zbMATH Keywords

behaviourPetri netconcurrencyparallel systemsemaphorevector addition systemsystem of processesasynchronous programdefinable languagesPV-systemssynchronisation primitives

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A generalized deadlock predicate ⋮ Commutation properties and generating sets characterize slices of various synchronization primitives

This page was built for publication: Synchronization Problems Solvable by Generalized PV Systems