scientific article; zbMATH DE number 4119639

MaRDI QIDQ4733416zbMATH OpenFDO

Authors Kamal Lodaya, P. S. Thiagarajan, Ramaswamy Ramanujam

Publication date 1989

zbMATH Keywords

axiomatizationcompletenessconcurrent stepdistributed transition systemssoundness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A logical study of distributed transition systems
• TTL : a formalism to describe local and global properties of distributed systems
• Frontiers of Combining Systems
• A spatial logic for concurrency. II
• Distributed modal logic

Cited in

(11)

• Functorial models for Petri nets
• A logical study of distributed transition systems
• Specifying communication in distributed information systems
• Distributed modal logic
• Coordination logic
• A Logic For Distributed Processes
• TTL : a formalism to describe local and global properties of distributed systems
• Distribution of Modal Transition Systems
• Semantics of full statecharts based on graph rewriting
• Frontiers of Combining Systems
• Models and logics for true concurrency.

This page was built for publication:

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