Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
A format for semantic equivalence comparison
Theoretical Computer Science
SOS for higher order processes
CONCUR 2005 - Concurrency Theory
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
A congruence rule format for name-passing process calculi
Information and Computation
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
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)
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Orthogonal extensions in structural operational semantics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Timing the untimed: terminating successfully while being conservative
Processes, Terms and Cycles
Modular semantics for transition system specifications with negative premises
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |