Full Abstraction in Structural Operational Semantics (Extended Abstract)

Strategic directions in concurrency research

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research

A comparison of Statecharts step semantics

Theoretical Computer Science

Precongruence Formats for Decorated Trace Preorders

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

Precongruence formats for decorated trace semantics

ACM Transactions on Computational Logic (TOCL)

A format for semantic equivalence comparison

Theoretical Computer Science

A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces

Mathematical Structures in Computer Science

SOS formats and meta-theory: 20 years after

Theoretical Computer Science

Compositional semantics and behavioral equivalences for P Systems

Theoretical Computer Science

On the expressibility of priority

Information Processing Letters

A Hierarchy of SOS Rule Formats

Electronic Notes in Theoretical Computer Science (ENTCS)

A compositional specification theory for component behaviours

ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems

Parameterized Structured Operational Semantics

Fundamenta Informaticae