Reasoning about nondeterministic and concurrent actions: A process algebra approach
From MaRDI portal
Publication:1277769
DOI10.1016/S0004-3702(98)00104-0zbMath0910.68075MaRDI QIDQ1277769
Publication date: 2 March 1999
Published in: Artificial Intelligence (Search for Journal in Brave)
Related Items
ConGolog, a concurrent programming language based on the situation calculus, Process algebra and constraint programming for modeling interactions in MAS
Uses Software
Cites Work
- Graphical versus logical specifications
- Results on the propositional \(\mu\)-calculus
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Extensional equivalences for transition systems
- An automata theoretic decision procedure for the propositional mu- calculus
- Tableau-based model checking in the propositional mu-calculus
- Frames in the space of situations
- Elementary induction on abstract structures
- Characteristic formulae for processes with divergence
- ConGolog, a concurrent programming language based on the situation calculus
- Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
- A lattice-theoretical fixpoint theorem and its applications
- A modal characterization of observational congruence on finite terms of CCS
- Process algebra for synchronous communication
- “Sometimes” and “not never” revisited
- Algebraic laws for nondeterminism and concurrency
- Compositionality Through an Operational Semantics of Contexts
- Representing action and change by logic programs
- State Constraints Revisited
- Modal Logic, Transition Systems and Processes
- GOLOG: A logic programming language for dynamic domains
- Interpolants and Symbolic Model Checking
- On model checking for the \(\mu\)-calculus and its fragments
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
