PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "van Staden, Stephan"

Author of the publication

copydeleteadd this publication to your clipboard
The laws of programming unify process calculi.

, and . Sci. Comput. Program., (2014)

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.

Nina van den Daele University of Stuttgart

Dr. phil. Leo van Waveren University of Stuttgart

Dr. Thijs van Westen University of Stuttgart

Jan Vanvinkenroye University of Stuttgart

Univ. -Prof. Dr. Joris van Slageren University of Stuttgart

 

Other publications of authors with the same name

A Framework for Concurrent Imperative Programming. CoRR, (2012)Constructing the Views Framework.. UTP, volume 8963 of Lecture Notes in Computer Science, page 62-83. Springer, (2014)The laws of programming unify process calculi., and . Sci. Comput. Program., (2014)Reasoning about multiple related abstractions with MultiStar., and . OOPSLA, page 504-519. ACM, (2010)On Rely-Guarantee Reasoning.. MPC, volume 9129 of Lecture Notes in Computer Science, page 30-49. Springer, (2015)Algebra Unifies Operational Calculi., and . UTP, volume 7681 of Lecture Notes in Computer Science, page 88-104. Springer, (2012)Developments in Concurrent Kleene Algebra., , , , , , and . RAMICS, volume 8428 of Lecture Notes in Computer Science, page 1-18. Springer, (2014)The Laws of Programming Unify Process Calculi., and . MPC, volume 7342 of Lecture Notes in Computer Science, page 7-22. Springer, (2012)In praise of algebra., and . Formal Asp. Comput., 24 (4-6): 423-431 (2012)Freefinement., , and . POPL, page 7-18. ACM, (2012)