Decidability of bisimulation equivalence for process generating context-free languages
Journal of the ACM (JACM)
A debugging calculus for mobile ambients
Proceedings of the 2001 ACM symposium on Applied computing
Process Algebra with Probabilistic Choice
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Mathematical Structures in Computer Science
Splitting bisimulations and retrospective conditions
Information and Computation
A characterization of regular expressions under bisimulation
Journal of the ACM (JACM)
Instruction Sequences with Dynamically Instantiated Instructions
Fundamenta Informaticae
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Strong splitting bisimulation equivalence
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Some remarks on definability of process graphs
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
A theory of history dependent abstractions for learning interface automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
| Hi-index | 0.00 |