scientific article

zbMath0976.68569MaRDI QIDQ2761742

Francesco Pupo, Libero Nigro

Publication date: 7 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2001/20010493

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Actors, modularity, real time, design/CPN, temporal analysis, occurrence graphs

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Modular design of real-time systems using hierarchical communicating real-time state machines ⋮ Schedulability of asynchronous real-time concurrent objects ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Testing Concurrent Objects with Application-Specific Schedulers

This page was built for publication: