Possibly Related Publications

The following publications are possibly variants of this publication:

• A Hierarchy of SOS Rule FormatsJan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers. ENTCS, 156(1):3-25, 2006. [doi]
• Notions of bisimulation and congruence formats for SOS with dataMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote. iandc, 200(1):107-147, 2005. [doi]
• SOS rule formats for zero and unit elementsLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. TCS, 412(28):3045-3071, 2011. [doi]
• SOS for Higher Order ProcessesMohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers. concur 2005: 308-322 [doi]
• Transforming SOS Specifications to Linear ProcessesFrank P. M. Stappers, Michel A. Reniers, Sven Weber. fmics 2011: 196-211 [doi]
• SOS formats and meta-theory: 20 years afterMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote. TCS, 373(3):238-272, 2007. [doi]