Models and logics for true concurrency.

DOI10.1007/BF02811341MaRDI QIDQ5955751zbMATH OpenOpenAlexFDO

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

Publication date 18 February 2002

Published in Sādhanā (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02811341

Mathematics Subject Classification ID

Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27)

Cites work

• A logical characterization of well branching event structures
• A logical study of distributed transition systems
• A Perspective in Theoretical Computer Science
• A Proof System for Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• An axiomatic basis for computer programming
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Concurrent dynamic logic
• Concurrent histories: a basis for observing distributed systems
• Concurrent transition systems
• Decidability for branching time
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4208063 (Why is no real title available?)
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4037225 (Why is no real title available?)
• scientific article; zbMATH DE number 4049019 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 4108727 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 4119602 (Why is no real title available?)
• scientific article; zbMATH DE number 4119618 (Why is no real title available?)
• scientific article; zbMATH DE number 4119639 (Why is no real title available?)
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• Modal logics for communicating systems
• Modeling concurrency with partial orders
• Notes on finite asynchronous automata
• Petri nets, event structures and domains. I
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Process algebra for synchronous communication
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Some behavioural aspects of net theory
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

Cited in

(3)

• REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY
• Decidability of a partial order based temporal logic
• Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions

This page was built for publication: Models and logics for true concurrency.

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