Suchergebnisse - "distributed and concurrent computation"

Implementing Coloured Petri Nets Using a Functional Programming Language: Implementing coloured Petri nets using a functional programming language

Autoren: Kristensen, L.M. Christensen, S.

Quelle: Kristensen, L M & Christensen, S 2004, 'Implementing Coloured Petri Nets using a Functional Programming Language', Higher-Order and Symbolic Computation, vol. 17, no. 3, pp. 207-243.

Schlagwörter: Coloured Petri Nets, high-level Petri Nets, distributed and concurrent computation, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), programming environments and tools, Petri Nets, Functional programming and lambda calculus, implementation techniques, 7. Clean energy

Dateibeschreibung: application/xml

Zugangs-URL: https://pure.au.dk/portal/en/publications/8812f450-8d3c-11dc-bee9-02004c4f4f50