Refusal Simulation and Interactive Games
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Generalising Automaticity to Modal Properties of Finite Structures
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Equivalence-Checking with Infinite-State Systems: Techniques and Results
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Infinite Games and Verification (Extended Abstract of a Tutorial)
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Solving Pushdown Games with a Sigma3 Winning Condition
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Automata logics, and infinite games
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Logical verification and equational verification
ACM SIGACT News
On-the-fly state space reductions for weak equivalences
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
Interface Abstraction for Compositional Verificatio
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
Equivalence-checking on infinite-state systems: Techniques and results
Theory and Practice of Logic Programming
Parameterised boolean equation systems
Theoretical Computer Science - Formal methods for components and objects
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Checking Games for Typed λ-Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Inverse monoids: Decidability and complexity of algebraic questions
Information and Computation
When not losing is better than winning: Abstraction and refinement for the full μ-calculus
Information and Computation
Analysis of meeting protocols by formalisation, simulation, and verification
Computational & Mathematical Organization Theory
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
ACM Transactions on Computational Logic (TOCL)
Modular Games for Coalgebraic Fixed Point Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional verification of sequential programs with procedures
Information and Computation
Theoretical Computer Science
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A Model Checking Language for Concurrent Value-Passing Systems
FM '08 Proceedings of the 15th international symposium on Formal Methods
A Propositional Dynamic Logic for CCS Programs
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
A Complete Axiomatic System for a Process-Based Spatial Logic
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Logics and Bisimulation Games for Concurrency, Causality and Conflict
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Model-Checking Games for Fixpoint Logics with Partial Order Models
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
A Tableau System for the Modal μ-Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Compositional Properties of Sequential Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Observing distributed computation: a dynamic-epistemic approach
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
EXPTIME tableaux for the coalgebraic µ-calculus
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Characterising behavioural equivalence: three sides of one coin
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
On hierarchically developing reactive systems
Information and Computation
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Connection between logical and algebraic approaches to concurrent systems†
Mathematical Structures in Computer Science
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Procedure-modular verification of control flow safety properties
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
Constructive semantics for instantaneous reactions
Theoretical Computer Science
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Model-checking games for fixpoint logics with partial order models
Information and Computation
Property-dependent reductions for the modal Mu-calculus
Proceedings of the 18th international SPIN conference on Model checking software
ProMoVer: modular verification of temporal safety properties
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Modeling safety case evolution – examples from the air traffic management domain
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
A game-theoretic approach to deciding higher-order matching
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
A multi-agent framework based on communication and concurrency
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
A logical characterization of efficiency preorders
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Verifying χ models of industrial systems with SPIN
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Model-checking hierarchical structures
Journal of Computer and System Sciences
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Higher-order matching and games
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Deriving non-determinism from conjunction and disjunction
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
State space representation for verification of open systems
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Accelerated modal abstractions of labelled transition systems
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Dynamic model checking for multi-agent systems
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Compositional algorithmic verification of software product lines
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the complexity of parity games
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Towards incrementalization of holistic hyperproperties
POST'12 Proceedings of the First international conference on Principles of Security and Trust
Decidability of modular logics for concurrency
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
A proof system for compositional verification of probabilistic concurrent processes
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Reducing behavioural to structural properties of programs with procedures
Theoretical Computer Science
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Verification of inconsistency-aware knowledge and action bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bounded epistemic situation calculus theories
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In a clear and well-organized presentation,Modal and Temporal Properties of Processes introduces concurrent processes as terms of an algebraic language comprising a few basic operators, whose behaviours are described using transitions. The book describes how families of such transitions can be arranged as labeled graphs---themselves concrete summaries of the behaviour are determined by transition rules. An extensive use of games for both equivalence and model checking provides an approach that is more conceptually clear than generally employed alternatives.