scientific article; zbMATH DE number 1796138

zbMath0991.68640MaRDI QIDQ4551157

Izak van Langevelde, Jan Friso Groote, Stefan Blom, Bert Lisser, W. J. Fokkink

Publication date: 4 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020250

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (23)

Model checking mobile ad hoc networks ⋮ Analysing sanity of requirements for avionics systems ⋮ Generation of abstract programming interfaces from syntax definitions ⋮ Cones and foci: A mechanical framework for protocol verification ⋮ Model checking a cache coherence protocol of a Java DSM implementation ⋮ An abstract interpretation toolkit for \(\mu\)CRL ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Extended beam search for non-exhaustive state space analysis ⋮ On the Minimisation of Acyclic Models ⋮ Lifting non-finite axiomatizability results to extensions of process algebras ⋮ Derivation tree analysis for accelerated fixed-point computation ⋮ Zero, successor and equality in BDDs ⋮ A Framework for Automatically Checking Anonymity with μCRL ⋮ Multiparty Contract Signing Over a Reliable Network ⋮ Thread algebra for noninterference ⋮ mCRL ⋮ Branching Bisimulation Games ⋮ Symbolic Reachability for Process Algebras with Recursive Data Types ⋮ A Database Approach to Distributed State Space Generation ⋮ An Account of Implementing Applicative Term Rewriting ⋮ From μCRL to mCRL2 ⋮ Discretization of Timed Automata in Timed μCRL à la Regions and Zones ⋮ Keeping Secrets in Resource Aware Components

This page was built for publication: