Hierarchical Cause-Effect Structures
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
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
Minimal-Maximal Time Cause-Effect Structures
Fundamenta Informaticae
Cause-Effect Structures - Structural and Semantic Properties Revisited
Fundamenta Informaticae
Processes in Cause-Effect Systems
Fundamenta Informaticae
| Hi-index | 0.89 |