scientific article
From MaRDI portal
zbMath0731.03021MaRDI QIDQ3356298
Madhavan Mukund, P. S. Thiagarajan
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
choicecausalitytemporal logicconcurrencyaxiomatization of event structuresposet-based model of distributed systemsunary modalities
Partial orders, general (06A06) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other applications of logic (03B80)
Related Items
Behavioural characterizations of partial order logics, Models and logics for true concurrency., Unified mathematical framework for slicing and symmetry reduction over event structures
