scientific article
From MaRDI portal
Publication:2843933
zbMath1270.03051MaRDI QIDQ2843933
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107005518
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Structure of proofs (03F07)
Related Items (2)
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity ⋮ On equal \(\mu \)-terms
This page was built for publication:
