Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Specification and simulation with ExSpect

Autor: Hee, van, K.M., Rambags, P.M.P., Verkoulen, P.A.C., Lauer, P.E.

Publikováno v: Functional Programming, Concurrency, Simulation and Automated Reasoning ISBN: 9783540568834
Functional Programming, Concurrency, Simulation and Automated Reasoning
Functional programming, concurrency, simulation and automated reasoning: international lecture series 1991-1992 (McMaster University, Hamilton, Ontario, Canada), 296-327
STARTPAGE=296;ENDPAGE=327;TITLE=Functional programming, concurrency, simulation and automated reasoning: international lecture series 1991-1992 (McMaster University, Hamilton, Ontario, Canada)

In the ExSpect framework, a system is modelled as a network consisting of two kinds of nodes, called places and processors, through which objects move as in Petri nets. Processors are generalizations of transitions, while the objects in the ExSpect m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ef027f81c80fc1296489fed05285598
https://research.tue.nl/en/publications/b287411f-5d82-412c-8fe7-1274709f3a67

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.