( en | de | ru )

 

Disambiguation of "Dinges, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized Concurrent Multi-Party Session Types

, , and . FOCLASA, volume 91 of EPTCS, page 16-30. (2012)

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.

Hildegard Dinges

Reinhard Dinges

Astrid Dinges

Wilhelm Dinges

Kirsten Dinges

 

Other publications of authors with the same name

Symcretic testing of programs. University of Illinois Urbana-Champaign, USA, (2014)Why Do Scala Developers Mix the Actor Model with other Concurrency Models?, , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 302-326. Springer, (2013)Targeted test input generation using symbolic-concrete backward execution., and . ASE, page 31-36. ACM, (2014)Solving complex path conditions through heuristic search on induced polytopes., and . SIGSOFT FSE, page 425-436. ACM, (2014)Scoped Synchronization Constraints for Large Scale Actor Systems, and . Coordination Models and Languages, page 89--103. Berlin, Heidelberg, Springer Berlin Heidelberg, (2012)Parameterized Concurrent Multi-Party Session Types, , and . FOCLASA, volume 91 of EPTCS, page 16-30. (2012)Automated inference of atomic sets for safe concurrent execution., , and . PASTE, page 1-8. ACM, (2013)Parameterized, concurrent session types for asynchronous multi-actor interactions., , and . Sci. Comput. Program., (2016)