The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
From SOS rules to proof principles: an operational metatheory for functional languages
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From rewrite rules to bisimulation congruences
Theoretical Computer Science
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Pi-Congruences as CCS Equivalences
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Proving the Equivalence of Microstep and Macrostep Semantics
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Axiomatizing GSOS with Termination
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Process Languages for Rooted Eager Bisimulation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Concurrent Constraint Programming with Process Mobility
CL '00 Proceedings of the First International Conference on Computational Logic
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
A format for semantic equivalence comparison
Theoretical Computer Science
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
CCS with Hennessy's merge has no finite-equational axiomatization
Theoretical Computer Science - Expressiveness in concurrency
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Generating priority rewrite systems for OSOS process languages
Information and Computation
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping SOS Meta-theory in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
A syntactic commutativity format for SOS
Information Processing Letters
Ready to preorder: get your BCCSP axiomatization for free!
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Rule formats for distributivity
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Axiomatizing weak ready simulation semantics over BCCSP
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
PREG axiomatizer: a ground bisimilarity checker for GSOS with predicates
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
On cool congruence formats for weak bisimulations
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
The equational theory of weak complete simulation semantics over BCCSP
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Rule formats for determinism and idempotence
Science of Computer Programming
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
Rule formats for distributivity
Theoretical Computer Science
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.01 |