Author of the publication

ESP-MC: An Experiment in the Use of Verification Tools.

, , and . ASIAN, volume 1023 of Lecture Notes in Computer Science, page 396-410. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compositional Refinements in Multiple Blackboard Systems., and . ESOP, volume 582 of Lecture Notes in Computer Science, page 93-109. Springer, (1992)In Favour of a Coherent Process Coding Language.. EWSPT, volume 913 of Lecture Notes in Computer Science, page 94-97. Springer, (1995)Graph Representation and Computation Rules for Typeless Recursive Languages., , and . ICALP, volume 14 of Lecture Notes in Computer Science, page 157-169. Springer, (1974)Modeling the Software Development Process., and . Advances in Software Engineering and Knowledge Engineering, volume 2 of Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)Two-Level Control Structure for Nondeterministic Programming., , and . Commun. ACM, 20 (10): 725-730 (1977)Logic-based Conflict Detection for Distributed Policies., , and . Fundam. Informaticae, 89 (4): 511-538 (2008)Software Process Monitoring Mechanisms in Oikos., and . Int. J. Softw. Eng. Knowl. Eng., 4 (4): 481-499 (1994)The use of Ada in the design of distributed systems., , and . SIGAda, page 85-96. Cambridge University Press, (1985)StPowla: SOA, Policies and Workflows., , , and . ICSOC Workshops, volume 4907 of Lecture Notes in Computer Science, page 351-362. Springer, (2007)Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management., , , and . Euro-Par Workshops (1), volume 7155 of Lecture Notes in Computer Science, page 128-138. Springer, (2011)