182 search results - page 37 / 37 » Deterministic Behavioural Models for Concurrency |
EMSOFT
2004
Springer
14 years 11 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
SEFM
2006
IEEE
14 years 29 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...