Publication:2769607
From MaRDI portal
zbMath0978.68547MaRDI QIDQ2769607
Thomas Mailund, Søren Christensen, Lars Michael Kristensen
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310450
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
The sweep-line state space exploration method, Extended beam search for non-exhaustive state space analysis, Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN, A sweep-line algorithm for the inclusion hierarchy among circles
Uses Software