Communicating sequential processes
Communicating sequential processes
Coordination languages and their significance
Communications of the ACM
Computer networks (3rd ed.)
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
The structure of the “THE”-multiprogramming system
Communications of the ACM
Coordinating functional processes with Haskell#
Proceedings of the 2002 ACM symposium on Applied computing
Functional Programming for Loosely-Coupled Multiprocessors
Functional Programming for Loosely-Coupled Multiprocessors
Introduction to Algorithms: A Creative Approach
Introduction to Algorithms: A Creative Approach
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
The Eden Coordination Model for Distributed Memory Systems
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
An Introduction to the MPI Standard
An Introduction to the MPI Standard
Proceedings of the 2005 ACM symposium on Applied computing
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Design and implementation of an environment for component-based parallel programming
VECPAR'06 Proceedings of the 7th international conference on High performance computing for computational science
Using aspects for supporting procedural modules in # programming
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Hi-index | 0.00 |
Haskell# is a concurrent programming environment aimed at parallel distributed architectures. Haskell# programs may be automatically translated to Petri nets, an important formalism for analysis of properties of concurrent and non-determinisc systems. This paper motivates and formalizes the translation of Haskell# programs into Petri nets, providing some examples of their usage.