Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Model checking of systems with many identical timed processes
Theoretical Computer Science
On the Existence of Network Invariants for Verifying Parameterized Systems
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
A Unifying Approach to Data-Independence
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
General decidability theorems for infinite-state systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
From Active Names to π-calculus Rewriting Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
On a semantic definition of data independence
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Equivalence checking for a finite higher order π-calculus
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Regular inference for state machines using domains with equality tests
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Inferring canonical register automata
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
| Hi-index | 0.00 |