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
    Datensatz exportieren als...
  • BibTeX
Erratum to “Predicate transformers for reasoning about concurrent computation”
Science of computer programming, 1997-09, Vol.29 (3), p.335
1997
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Erratum to “Predicate transformers for reasoning about concurrent computation”: Science of computer Programming 24 (1995) 129–148
Science of computer programming, 1997, Vol.29 (3), p.335-335
1997
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A framework for structured distributed object computing
Parallel computing, 1998-11, Vol.24 (12), p.1901-1922
1998
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Predicate transformers for reasoning about concurrent computation
Science of computer programming, 1995-04, Vol.24 (2), p.129-147
1995
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Reasoning about continuous systems
Science of computer programming, 1990-10, Vol.14 (2), p.117-132
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On distributed search
Information processing letters, 1985-09, Vol.21 (3), p.129-133
1985
Volltextzugriff (PDF)
1 – 6 von 6
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen