Cause-effect structures

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)

Equations for message passing

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005

Equations for message passing

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005

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

Cause-Effect Structures - Structural and Semantic Properties Revisited

Fundamenta Informaticae

Processes in Cause-Effect Systems

Fundamenta Informaticae