Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
On testing urgency through laziness over processes with durational actions
Theoretical computer science, 2001, Vol.258 (1), p.393-407
2001
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes
Electronic notes in theoretical computer science, 2003-02, Vol.39 (1), p.47-64
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components
Mathematical structures in computer science, 2003-08, Vol.13 (4), p.619-656, Article S0960129503004018
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The expressive power of urgent, lazy and busy-waiting actions in timed processes
Mathematical structures in computer science, 2003-08, Vol.13 (4), p.619-656
2003
Volltextzugriff (PDF)
1 – 4 von 4
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen