A transformation system for concurrent processes

DOI10.1007/S002360050151zbMath0927.68014OpenAlexW1964596093MaRDI QIDQ1284702

Nicoletta De Francesco, Antonella Santone

Publication date: 26 April 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050151

zbMATH Keywords

program transformation techniques

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Abstracting Models from Execution Traces for Performing Formal Verification

This page was built for publication: A transformation system for concurrent processes