Modeling and analysis of communicating systems
parallel processescommunicating systemssequential processtimed process behaviorverification of distributed systemsverification of modal formulas
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Network design and communication in computer systems (68M10) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
- An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
- Natural projection as partial model checking
- On the expressiveness of multiplicities in data-based coordination languages
- scientific article; zbMATH DE number 7449994 (Why is no real title available?)
- Decomposing monolithic processes in a process algebra with multi-actions
- Process algebra and model checking
- Verification of asynchronous systems with an unspecified component
- Real equation systems with alternating fixed-points
- Process-algebraic models of multi-writer multi-reader non-atomic registers
- scientific article; zbMATH DE number 7471704 (Why is no real title available?)
- Connecting open systems of communicating finite state machines
- Static Analysis of Dynamic Communication Systems by Partner Abstraction
- Divergence and unique solution of equations
- A set automaton to locate all pattern matches in a term
- scientific article; zbMATH DE number 47515 (Why is no real title available?)
- An efficient algorithm to determine probabilistic bisimulation
- revTPL: The Reversible Temporal Process Language
- scientific article; zbMATH DE number 51848 (Why is no real title available?)
- Unfolding state variables improves model checking performance
- Can we communicate? Using dynamic logic to verify team automata
- Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
- scientific article; zbMATH DE number 2050824 (Why is no real title available?)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
- Comparing the expressiveness of the \(\pi \)-calculus and CCS
- scientific article; zbMATH DE number 7269247 (Why is no real title available?)
- scientific article; zbMATH DE number 7269254 (Why is no real title available?)
- On the validity of encodings of the synchronous in the asynchronous -calculus
- Simplifying process parameters by unfolding algebraic data types
- Modelling mutual exclusion in a process algebra with time-outs
- Minimal depth distinguishing formulas without until for branching bisimulation
- Exploring type-level bisimilarity towards more expressive multiparty session types
- A case in point: verification and testing of a EULYNX interface
- Revisiting sequential composition in process calculi
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- To the correction of analytical models for computer based communication systems
- A probabilistic analysis of the Game of the Goose
- Models and complexity of problems of design and reconstruction of telecommunication and transport systems
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- scientific article; zbMATH DE number 7453962 (Why is no real title available?)
- Product line process theory
- Dynamic logic with binders and its application to the development of reactive systems
- Input-output conformance testing for software product lines
- Specification of systems with parameterised events: An institution-independent approach
- Progress, justness and fairness in modal -calculus formulae
- Towards `up to context' reasoning about higher-order processes
- Understanding Behaviour of Distributed Systems Using mCRL2
- Infinite choice and probability distributions. An open problem: the real hotel
- Hybrid dynamic logic institutions for event/data-based systems
- Divergence and unique solution of equations
- Compositional verification of concurrent systems by combining bisimulations
- A logic for the stepwise development of reactive systems
- Decomposing monolithic processes in a process algebra with multi-actions
- scientific article; zbMATH DE number 58291 (Why is no real title available?)
- Ensuring liveness properties of distributed systems: open problems
- Practical abstractions for automated verification of message passing concurrency
- Model checking mobile ad hoc networks
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
- Modeling software behavior: A craftsman's approach.
This page was built for publication: Modeling and analysis of communicating systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3191614)