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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
De Carvalho, F. H., Lins, R. D., & Lima, R. M. F. (2003). Translating Haskell# programs into petri nets. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2565, 635–649. https://doi.org/10.1007/3-540-36569-9_43
Mendeley helps you to discover research relevant for your work.