scientific article; zbMATH DE number 1796125
From MaRDI portal
Publication:4551136
zbMath0991.68553MaRDI QIDQ4551136
Alberto Policriti, Agostino Dovier, Carla Piazza
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020079
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice, An efficient algorithm for computing bisimulation equivalence, Verifying persistent security properties, Equivalence checking 40 years after: a review of bisimulation tools, On the Minimisation of Acyclic Models, Rank-Based Symbolic Bisimulation, An Incremental Bisimulation Algorithm, DEL Planning and Some Tractable Cases
