Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Operational semantics for Petri net components
Theoretical Computer Science
Branching Bisimulation Congruence for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
Branching Bisimilarity with Explicit Divergence
Fundamenta Informaticae
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Cones and foci for protocol verification revisited
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Action abstraction in timed process algebra: the case for an untimed silent step
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Is timed branching bisimilarity an equivalence indeed?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
A process-theoretic look at automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Equational reasoning on ad hoc networks
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
On cool congruence formats for weak bisimulations
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Information and Computation
Branching Bisimilarity with Explicit Divergence
Fundamenta Informaticae
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Unique parallel decomposition in branching and weak bisimulation semantics
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Process fragmentation, distribution and execution using an event-based interaction scheme
Journal of Systems and Software
| Hi-index | 0.89 |