Search for Author All Reviews
	Vaandrager, Frits     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Three logics for branching bisimulation De Nicola R., Vaandrager F. Journal of the ACM 42(2): 458-487, 1995.  Type: Article The operational semantics of concurrent systems are usually expressed in terms of labeled transition systems (such as finite state automata). Operational semantics are generally too detailed for an abstract analysis of a system. In par...... Jun 1 1996     Determinism → (event structure isomorphism = step sequence equivalence) Vaandrager F. Theoretical Computer Science 79(2): 275-294, 1991.  Type: Article Vaandrager compares different notions of equivalence between deterministic event structures. The event structures are endowed with a causal relation that is a partial ordering; consequently, each event may be regarded as a prerequisite...... Dec 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy