Suchergebnisse - "distributed and concurrent computation"
-
1
Autoren:
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
Nájsť tento článok vo Web of Science