Finite Approximations for Model Checking Non-finite-state Processes

DOI10.1093/COMJNL/44.2.109zbMath0982.68095OpenAlexW2103522639MaRDI QIDQ2747754

Stefania Gnesi, Nicoletta De Francesco, Paola Inverardi, Alessandro Fantechi

Publication date: 8 April 2002

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/44.2.109

zbMATH Keywords

process algebrasfinite-state transition systems

Mathematics Subject Classification ID

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

This page was built for publication: Finite Approximations for Model Checking Non-finite-state Processes