Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             6 results found
no title author magazine year volume issue page(s) type
1 A Proof Search Specification of the π-Calculus Tiu, Alwen
2005
138 1 p. 79-101
23 p.
article
2 Contextual Labelled Semantics for Higher-order Process Calculi Li, Yongjian
2005
138 1 p. 61-77
17 p.
article
3 Preface Rathke, Julian
2005
138 1 p. 1-
1 p.
article
4 Security Policies as Membranes in Systems for Global Computing Gorla, Daniele
2005
138 1 p. 23-42
20 p.
article
5 Synchronization Algebras with Mobility for Graph Transformations Lanese, Ivan
2005
138 1 p. 43-60
18 p.
article
6 Typechecking Safe Process Synchronization Bonelli, Eduardo
2005
138 1 p. 3-22
20 p.
article
                             6 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands