Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization

DOI10.1007/978-3-642-12032-9_9zbMath1284.68432OpenAlexW1785480219MaRDI QIDQ3557847

Elsa L. Gunter, Andrei Popescu

Publication date: 27 April 2010

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A formalized general theory of syntax with bindings ⋮ A formalized general theory of syntax with bindings: extended version

Uses Software

• Isabelle
• Isabelle/HOL
• CIRC

This page was built for publication: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization