Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

DOI10.1007/978-3-540-74407-8_21zbMath1151.68491OpenAlexW1541916245MaRDI QIDQ3525645

Bow-Yaw Wang

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_21

Mathematics Subject Classification ID

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)

Related Items (1)

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

This page was built for publication: Automatic Derivation of Compositional Rules in Automated Compositional Reasoning