Proving nets correct via cause-effect structures (an experiment)
Fundamenta Informaticae - Concurrency specification and programming
An Axiomatic Framework for Proving Correctness of Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
An Axiomatic Framework for Proving Correctness of Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Proving Nets Correct via Cause-Effect Structures (An Experiment)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Fundamenta Informaticae
Hi-index | 0.00 |