Author of the publication

Some Finite-Graph Models for Process Algebra.

, and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 495-509. Springer, (1991)

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

The Banking Industry Underestimates Costs of Cloud Migrations., , , and . CBI (1), page 300-309. IEEE, (2020)Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract).. ICWE, volume 3140 of Lecture Notes in Computer Science, page 13-16. Springer, (2004)Risk-Driven Conceptual Modeling of Outsourcing Decisions., , and . ER, volume 3288 of Lecture Notes in Computer Science, page 709-723. Springer, (2004)Roles and Dynamic Subclasses: A Modal Logic Approach., , and . ECOOP, volume 821 of Lecture Notes in Computer Science, page 32-59. Springer, (1994)Some Finite-Graph Models for Process Algebra., and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 495-509. Springer, (1991)A Real-Time Execution Semantics for UML Activity Diagrams., and . FASE, volume 2029 of Lecture Notes in Computer Science, page 76-90. Springer, (2001)Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods.. Comput. J., 38 (1): 17-30 (1995)Requirements engineering - frameworks for understanding.. Wiley, (1996)Towards middle-range usable design theories for software engineering.. GTSE, page 1-4. ACM, (2014)Validating the Raster Risk Assessment Method in Practice., , and . ISCRAM, ISCRAM Association, (2015)