scientific article; zbMATH DE number 4119639
From MaRDI portal
Publication:4733416
zbMath0683.68053MaRDI QIDQ4733416
P. S. Thiagarajan, Kamal Lodaya, Ramaswamy Ramanujam
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Semantics of full statecharts based on graph rewriting ⋮ Models and logics for true concurrency. ⋮ Functorial models for Petri nets
This page was built for publication:
