Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Carlos Puchol"'
Autor:
Michael Benedikt, Kenneth Charles Cox, Kenneth G. Rehor, J. Christopher Ramming, Peter Andrew Mataga, David L. Atkins, Thomas Ball, David Ladd, Carlos Puchol, Curtis Tuckey, Thomas R. Baran
Publikováno v:
Bell Labs Technical Journal. 2:19-35
We describe a system for creating, maintaining, and analyzing interactive services that require access from multiple devices. The system augments the infrastructure of the World Wide Web with Mawl, an application-oriented language for specifying form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5a8755a6f2583ac49b831dcf7b055ea
https://doi.org/10.1002/bltj.2029
https://doi.org/10.1002/bltj.2029
Publikováno v:
Electronic Notes in Theoretical Computer Science. 14:107-133
This paper describes compositional semantics (operational, denotational and logical) for a process algebra enhanced with input/output actions and preemption combinators, in the presence of fairness. The context of this paper is Triveni, a process-alg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd75c970597b7b07c36ccb3b108d7b32
https://doi.org/10.1016/s1571-0661(05)80233-6
https://doi.org/10.1016/s1571-0661(05)80233-6
Publikováno v:
ICCL
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni is compatible with existing threads standards, such as Pthreads and Jav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4521067e24f3f85dc13843dc1510a460
https://doi.org/10.1109/iccl.1998.674157
https://doi.org/10.1109/iccl.1998.674157
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.