PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates

DOI10.1007/978-3-642-22944-2_27zbMath1344.68199OpenAlexW115283103MaRDI QIDQ3090881

Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1ujbbwdk8rj2i6

zbMATH Keywords

structural operational semanticsMaudebisimilarityequational axiomatizationsGSOS rule format

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates