×

zbMATH — the first resource for mathematics

Proceedings of the workshop on the foundations of global ubiquitous computing (FGUC 2004), London, UK, September 3–4, 2004. (English) Zbl 1272.68034
Electronic Notes in Theoretical Computer Science 138, No. 1. Amsterdam: Elsevier. 101 p., electronic only (2005).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Bonelli, Eduardo; Compagnoni, Adriana; Gunter, Elsa, Typechecking safe process synchronization, 3-22 [Zbl 1272.68226]
Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro, Security policies as membranes in systems for global computing, 23-42 [Zbl 1272.68062]
Lanese, Ivan; Montanari, Ugo, Synchronization algebras with mobility for graph transformations, 43-60 [Zbl 1272.68310]
Li, Yongjian, Contextual labelled semantics for higher-order process calculi, 61-77 [Zbl 1272.68311]
Tiu, Alwen; Miller, Dale, A proof search specification of the \(\pi\)-calculus, 79-101 [Zbl 1272.03143]
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: Link