Turning GSOS into equations for linear time-branching time semantics

M. Gazda, W.J. Fokkink

Research output: Contribution to JournalArticleAcademicpeer-review


An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extended so that it can be applied to other behavioural semantics as well. We study term rewriting properties of the resulting axiomatizations. © 2012 The Author. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved.
Original languageEnglish
Pages (from-to)34-44
JournalComputer Journal
Issue number1
Publication statusPublished - 2013


Dive into the research topics of 'Turning GSOS into equations for linear time-branching time semantics'. Together they form a unique fingerprint.

Cite this