Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions

Authors:
Peter E. Lauer;M. W. Shields;John Yiannis Cotronis
Affiliations:
-;-;-
Venue:
Proceedings of the International Colloquium on Formalization of Programming Concepts
Year:
1981

Data path debugging: data-oriented debugging for a concurrent programming language

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Modeling concurrency in parallel debugging

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Formal specification of N-modular redundancy

CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science

Hi-index	0.00