Reasoning about nondeterministic and concurrent actions: A process algebra approach
From MaRDI portal
Recommendations
Cites work
- A lattice-theoretical fixpoint theorem and its applications
- A modal characterization of observational congruence on finite terms of CCS
- Algebraic laws for nondeterminism and concurrency
- An automata theoretic decision procedure for the propositional mu- calculus
- Characteristic formulae for processes with divergence
- Compositionality Through an Operational Semantics of Contexts
- Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
- ConGolog, a concurrent programming language based on the situation calculus
- Elementary induction on abstract structures
- Extensional equivalences for transition systems
- Frames in the space of situations
- GOLOG: A logic programming language for dynamic domains
- Graphical versus logical specifications
- scientific article; zbMATH DE number 4131643 (Why is no real title available?)
- scientific article; zbMATH DE number 3887063 (Why is no real title available?)
- scientific article; zbMATH DE number 3898850 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48095 (Why is no real title available?)
- scientific article; zbMATH DE number 67474 (Why is no real title available?)
- scientific article; zbMATH DE number 88991 (Why is no real title available?)
- scientific article; zbMATH DE number 89002 (Why is no real title available?)
- scientific article; zbMATH DE number 108365 (Why is no real title available?)
- scientific article; zbMATH DE number 108368 (Why is no real title available?)
- scientific article; zbMATH DE number 140403 (Why is no real title available?)
- scientific article; zbMATH DE number 1142324 (Why is no real title available?)
- scientific article; zbMATH DE number 1536548 (Why is no real title available?)
- scientific article; zbMATH DE number 4119617 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 928018 (Why is no real title available?)
- scientific article; zbMATH DE number 3349291 (Why is no real title available?)
- Interpolants and Symbolic Model Checking
- Modal Logic, Transition Systems and Processes
- On model checking for the -calculus and its fragments
- Process algebra for synchronous communication
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Representing action and change by logic programs
- Results on the propositional \(\mu\)-calculus
- State Constraints Revisited
- Tableau-based model checking in the propositional mu-calculus
- “Sometimes” and “not never” revisited
Cited in
(11)- ConGolog, a concurrent programming language based on the situation calculus
- Process algebra having inherent choice: revised semantics for concurrent systems
- scientific article; zbMATH DE number 1301605 (Why is no real title available?)
- Reasoning about effects of concurrent actions
- scientific article; zbMATH DE number 1748588 (Why is no real title available?)
- Towards the assessment of logics for concurrent actions
- scientific article; zbMATH DE number 2090704 (Why is no real title available?)
- scientific article; zbMATH DE number 2090868 (Why is no real title available?)
- Reasoning about concurrent interaction
- Process algebra and constraint programming for modeling interactions in MAS
- Equational reasoning about nondeterministic processes
This page was built for publication: Reasoning about nondeterministic and concurrent actions: A process algebra approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1277769)
