The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
Register-machine based processes
Journal of the ACM (JACM)
General distributions in process algebra
Lectures on formal methods and performance analysis
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Comparison of Process Algebra Equivalences Using Formats
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A note on an expressiveness hierarchy for multi-exit iteration
Information Processing Letters
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
A format for semantic equivalence comparison
Theoretical Computer Science
Mathematical Structures in Computer Science
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
A theory of stochastic systems: part II: process algebra
Information and Computation
Bisimilarity is not finitely based over BPA with interrupt
Theoretical Computer Science - Algebra and coalgebra in computer science
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Process Algebra with Local Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rule Format for Associativity
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Structural Operational Semantics with First-Order Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
A syntactic commutativity format for SOS
Information Processing Letters
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Reversing algebraic process calculi
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Probabilistic congruence for semistochastic generative processes
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Bisimilarity is not finitely based over BPA with interrupt
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Parameterized Structured Operational Semantics
Fundamenta Informaticae
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae
| Hi-index | 0.00 |