Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Leifer, James J."'
Autor:
Sewell, Peter, Leifer, James J., Wansbrough, Keith, Allen-Williams, Mair, Zappa Nardelli, Francesco, Habouzit, Pierre, Vafeiadis, Viktor
Publikováno v:
[Research Report] RR-5329, INRIA. 2004, pp.193
This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we have defined and implemented. Acute extends an OCaml core to support distributed dev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ea49143146cd98e816d5180589873515
https://hal.inria.fr/inria-00070671
https://hal.inria.fr/inria-00070671
Autor:
Leifer, James J.
Publikováno v:
[Research Report] RR-4395, INRIA. 2002
This paper is the second in a series of two. It relies on its companion, Part 1, to motivate the central problem addressed by the series, namely: how to synthesise labelled transitions for reactive systems and how to prove congruence results for oper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e225f9ab0128edf203bfb3ff03e115e
https://hal.inria.fr/inria-00072193/file/RR-4395.pdf
https://hal.inria.fr/inria-00072193/file/RR-4395.pdf
Autor:
Leifer, James J.
Publikováno v:
[Research Report] RR-4394, INRIA. 2002
The dynamics of process calculi, e.g. CCS, have often been defined using a labelled transition system (LTS). More recently it has become common when defining dynamics to use reaction rules ---i.e. unlabelled transition rules--- together with a struct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::107a040184474e716670799b24864672
https://inria.hal.science/inria-00072194/file/RR-4394.pdf
https://inria.hal.science/inria-00072194/file/RR-4394.pdf
Autor:
Leifer, James J., Milner, Robin
Publikováno v:
Leifer, J J & Milner, R 2000, Deriving Bisimulation Congruences for Reactive Systems . in CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings . vol. 1877, Springer Berlin Heidelberg, pp. 243-258 . https://doi.org/10.1007/3-540-44618-4_19
The dynamics of reactive systems, e.g. CCS, has often been defined using a labelled transition system (LTS). More recently it has become natural in defining dynamics to use reaction rules - i.e. unlabelled transition rules - together with a structura
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::6af2031ffc7314ed18dda4d3482732cd
https://hdl.handle.net/20.500.11820/be4552ab-4895-4a7d-a28c-ed68825296f6
https://hdl.handle.net/20.500.11820/be4552ab-4895-4a7d-a28c-ed68825296f6
Publikováno v:
Proceedings of the Eleventh ACM SIGPLAN International Conference: Functional Programming; 9/16/2006, p286-297, 12p
Autor:
Sewell, Peter, Leifer, James J., Wansbrough, Keith, Nardelli, Francesco Zappa, Allen-Williams, Mair, Habouzit, Pierre, Vafeiadis, Viktor
Publikováno v:
Proceedings of the Tenth ACM SIGPLAN International Conference: Functional Programming; 9/26/2005, p15-26, 12p
Publikováno v:
Proceedings of the Eighth ACM SIGPLAN International Conference: Functional Programming; 8/25/2003, p87-98, 12p
Publikováno v:
ACM / SIGPLAN Notices; Sep2014, Vol. 38 Issue 9, p87-98, 12p
Akademický článek
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.
Akademický článek
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.