Search

• < Previous
• 1
• Next >

---

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

David de Frutos Escrig ; Carlos Gregorio-Rodríguez ; Miguel Palomino ; David Romero Hernández.

Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their discrimination power. In this paper we bring forward a refinement of this classification and show how the process semantics&nbsp;[&hellip;]

---

Games for Bisimulations and Abstraction

David De Frutos Escrig ; Jeroen J. A. Keiren ; Tim A. C. Willemse.

Weak bisimulations are typically used in process algebras where silent steps are used to abstract from internal behaviours. They facilitate relating implementations to specifications. When an implementation fails to conform to its specification, pinpointing the root cause can be challenging. In this&nbsp;[&hellip;]

---