Development of a debugger for a concurrent language

DOI10.1109/TSE.1986.6312902zbMath0587.68023MaRDI QIDQ3713583

Fabrizio Baiardi, Gigliola Vaglini, Nicoletta De Francesco

Publication date: 1986

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

concurrent programsCSPdebuggerconcurrent languageprogramming environmentprogram specifications

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Development of a debugger for a concurrent language