Efficient symbolic computation of process expressions
DOI10.1016/j.scico.2009.02.002zbMath1167.68040OpenAlexW2055877289MaRDI QIDQ2389343
Publication date: 15 July 2009
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2009.02.002
symbolic computationprocess algebrainformation systemsinterpreterblack-box specificationstrace-based specifications
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
This page was built for publication: Efficient symbolic computation of process expressions