Semantics for Communicating Actors with Interdependent Real-Time Deadlines.

Istvan Knoll, Anders P. Ravn, Arne Skou

Browse the full TASE paper archive.