scientific article; zbMATH DE number 1231679

zbMath0919.68081MaRDI QIDQ4223007

Jan A. Bergstra, Jos C. M. Baeten

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=1#16.2.002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ST bisimulation semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Unnamed Item ⋮ Splitting bisimulations and retrospective conditions

This page was built for publication: