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
 
                             134 results found
no title author magazine year volume issue page(s) type
1 Abstract abstract reduction Struth, Georg
2006
60-61 2 p. 239-270
32 p.
article
2 Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically Goubault-Larrecq, Jean
2005
60-61 2 p. 219-251
33 p.
article
3 A centralized and a decentralized method to automatically derive choreography-conforming web service systems Rodríguez, Ismael
2012
60-61 2 p. 127-159
33 p.
article
4 A decentralised graphical implementation of mobile ambients Gadducci, Fabio
2011
60-61 2 p. 113-136
24 p.
article
5 A domain-specific language for cryptographic protocols based on streams Jürjens, Jan
2009
60-61 2 p. 54-73
20 p.
article
6 A double completion for an arbitrary T 0 -quasi-metric space Künzi, Hans-Peter A.
2008
60-61 2 p. 251-269
19 p.
article
7 A duality involving Borel spaces Baboolal, D.
2008
60-61 2 p. 209-215
7 p.
article
8 A framework for specifying and verifying the behaviour of open systems Bracciali, Andrea
2005
60-61 2 p. 215-240
26 p.
article
9 A generalization of ACP using Belnap’s logic Ponse, Alban
2007
60-61 2 p. 222-235
14 p.
article
10 A Hofmann–Mislove theorem for bitopological spaces Jung, Achim
2008
60-61 2 p. 161-174
14 p.
article
11 Algebraic simulations Meseguer, José
2010
60-61 2 p. 103-143
41 p.
article
12 An “abstract process” approach to algebraic dynamic architecture description Cuesta, Carlos E.
2005
60-61 2 p. 177-214
38 p.
article
13 An algebra of hybrid systems Höfner, Peter
2009
60-61 2 p. 74-97
24 p.
article
14 Analyzing a χ model of a turntable system using Spin, CADP and Uppaal Bortnik, E.
2005
60-61 2 p. 51-104
54 p.
article
15 An efficient abstract machine for Safe Ambients Hirschkoff, Daniel
2007
60-61 2 p. 114-149
36 p.
article
16 An object based algebra for specifying a fault tolerant software architecture Dragoni, Nicola
2005
60-61 2 p. 271-297
27 p.
article
17 A non-standard semantics for program slicing and dependence analysis Danicic, Sebastian
2007
60-61 2 p. 191-206
16 p.
article
18 A static analysis of cryptographic processes: the denotational approach Aziz, Benjamin
2005
60-61 2 p. 285-320
36 p.
article
19 A trace-based model for multiparty contracts Hvitved, Tom
2012
60-61 2 p. 72-98
27 p.
article
20 Author index 2001
60-61 2 p. 147-
1 p.
article
21 Author index – Volume 51 2002
60-61 2 p. 215-
1 p.
article
22 Author Index – Volume 75 (2008) 2008
60-61 2 p. 231-
1 p.
article
23 Author Index – Volume 74 (2007) 2008
60-61 2 p. 115-
1 p.
article
24 Author Index – Volume76 2008
60-61 2 p. 293-294
2 p.
article
25 Author Index – Volume 66 (2006) 2006
60-61 2 p. 271-
1 p.
article
26 Author Index – Volume 72 (2007) 2007
60-61 2 p. 239-
1 p.
article
27 Author Index – Volume 70 (2007) 2007
60-61 2 p. 237-
1 p.
article
28 Author Index – Volume (2004) 2005
60-61 2 p. 273-
1 p.
article
29 Author Index – Volume 64 (2005) 2005
60-61 2 p. 321-322
2 p.
article
30 Author Index – Volume (2004) 2005
60-61 2 p. 298-
1 p.
article
31 Author Index – Volume 65 (2005) 2005
60-61 2 p. 105-
1 p.
article
32 Axiomatizability of representable domain algebras Hirsch, Robin
2011
60-61 2 p. 75-91
17 p.
article
33 Axiomatizing the equational theory of regular tree languages Ésik, Z.
2010
60-61 2 p. 189-213
25 p.
article
34 Canonical completeness of infinitary μ Jäger, Gerhard
2008
60-61 2 p. 270-292
23 p.
article
35 Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas Laurence, Michael R.
2007
60-61 2 p. 157-172
16 p.
article
36 Combining programs and state machines Bergstra, Jan A.
2002
60-61 2 p. 175-192
18 p.
article
37 Communicating by compatibility Prandi, Davide
2008
60-61 2 p. 167-181
15 p.
article
38 Composition mechanisms for retrenchment Banach, R.
2008
60-61 2 p. 209-229
21 p.
article
39 Contents 2009
60-61 2 p. iii-
1 p.
article
40 Contents 2008
60-61 2 p. v-
1 p.
article
41 Contents 2008
60-61 2 p. iii-
1 p.
article
42 Contents 2008
60-61 2 p. iii-
1 p.
article
43 Contents 2006
60-61 2 p. v-
1 p.
article
44 Contents 2007
60-61 2 p. iii-
1 p.
article
45 Contents 2007
60-61 2 p. v-
1 p.
article
46 Contents 2007
60-61 2 p. v-
1 p.
article
47 Contents 2010
60-61 2 p. iii-
1 p.
article
48 Contents 2005
60-61 2 p. v-
1 p.
article
49 Contents 2005
60-61 2 p. iii-
1 p.
article
50 Contents 2005
60-61 2 p. iii-
1 p.
article
51 Contents 2005
60-61 2 p. iii-
1 p.
article
52 Contents 2013
60-61 2 p. iii-
1 p.
article
53 Contents 2012
60-61 2 p. v-
1 p.
article
54 Contents 2011
60-61 2 p. iii-
1 p.
article
55 Contract signing, optimism, and advantage Chadha, Rohit
2005
60-61 2 p. 189-218
30 p.
article
56 Cut-free sequent systems for temporal logic Brünnler, Kai
2008
60-61 2 p. 216-225
10 p.
article
57 Deaccumulation techniques for improving provability Giesl, Jürgen
2007
60-61 2 p. 79-113
35 p.
article
58 De Bruijn's syntax and reductional behaviour of λ -terms: the typed case Kamareddine, Fairouz
2005
60-61 2 p. 159-189
31 p.
article
59 Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas Danicic, Sebastian
2011
60-61 2 p. 92-112
21 p.
article
60 Denotational semantics for thread algebra Vu, Thuy Duong
2008
60-61 2 p. 94-111
18 p.
article
61 Duplication of constants in process algebra Baeten, J.C.M.
2007
60-61 2 p. 151-171
21 p.
article
62 Editorial Board 2009
60-61 2 p. IFC-
1 p.
article
63 Editorial Board 2008
60-61 2 p. IFC-
1 p.
article
64 Editorial Board 2008
60-61 2 p. IFC-
1 p.
article
65 Editorial Board 2008
60-61 2 p. IFC-
1 p.
article
66 Editorial Board 2006
60-61 2 p. CO2-
1 p.
article
67 Editorial Board 2007
60-61 2 p. IFC-
1 p.
article
68 Editorial Board 2007
60-61 2 p. IFC-
1 p.
article
69 Editorial Board 2007
60-61 2 p. CO2-
1 p.
article
70 Editorial Board 2010
60-61 2 p. IFC-
1 p.
article
71 Editorial board 2005
60-61 2 p. CO2-
1 p.
article
72 Editorial board 2005
60-61 2 p. IFC-
1 p.
article
73 Editorial board 2005
60-61 2 p. IFC-
1 p.
article
74 Editorial Board 2005
60-61 2 p. CO2-
1 p.
article
75 Editorial Board 2013
60-61 2 p. IFC-
1 p.
article
76 Editorial Board 2011
60-61 2 p. IFC-
1 p.
article
77 Editorial Board 2012
60-61 2 p. IFC-
1 p.
article
78 Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation Kerbœuf, Mickaël
2005
60-61 2 p. 241-269
29 p.
article
79 Guest Editors’ Foreword Aceto, Luca
2007
60-61 2 p. 119-120
2 p.
article
80 Guest Editors’ Foreword Brogi, Antonio
2012
60-61 2 p. 71-
1 p.
article
81 Guest Editors’ Foreword: Selected papers on “Streams and Algebra” Broy, Manfred
2009
60-61 2 p. 53-
1 p.
article
82 Guest editor's introduction Middelburg, C.A.
2002
60-61 2 p. 123-124
2 p.
article
83 Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols Amadio, Roberto M.
2005
60-61 2 p. 155-
1 p.
article
84 Guest editors’ introduction: Special issue on Process Algebra and System Architecture 2005
60-61 2 p. 175-176
2 p.
article
85 Guest editor’s introduction: Special issue on Relation Algebra and Kleene Algebra Möller, Bernhard
2006
60-61 2 p. 69-70
2 p.
article
86 HOTL : Hypotheses and observations testing logic Rodríguez, Ismael
2008
60-61 2 p. 57-93
37 p.
article
87 Hybrid process algebra Cuijpers, P.J.L.
2005
60-61 2 p. 191-245
55 p.
article
88 Inheritance of behavior Basten, Twan
2001
60-61 2 p. 47-145
99 p.
article
89 Interpretability of first-order linear temporal logics in fork algebras Frias, Marcelo F.
2006
60-61 2 p. 161-184
24 p.
article
90 ITL semantics of composite Petri nets Duan, Zhenhua
2013
60-61 2 p. 95-110
16 p.
article
91 Keyword Index – Volume 74 (2007) 2008
60-61 2 p. 116-
1 p.
article
92 Keyword Index – Volume 76 2008
60-61 2 p. 295-
1 p.
article
93 Keyword Index – Volume 75 (2008) 2008
60-61 2 p. 233-
1 p.
article
94 Keyword Index – Volume 66 (2006) 2006
60-61 2 p. 272-
1 p.
article
95 Keyword Index – Volume 72 (2007) 2007
60-61 2 p. 240-
1 p.
article
96 Keyword Index – Volume 70 (2007) 2007
60-61 2 p. 238-
1 p.
article
97 Keyword Index – Volume (2004) 2005
60-61 2 p. 275-
1 p.
article
98 Keyword Index – Volume 65 (2005) 2005
60-61 2 p. 106-
1 p.
article
99 Keyword Index – Volume 64 (2005) 2005
60-61 2 p. 323-
1 p.
article
100 Keyword Index – Volume (2004) 2005
60-61 2 p. 299-
1 p.
article
101 Kleene modules and linear languages Leiß, Hans
2006
60-61 2 p. 185-194
10 p.
article
102 Kleene under a modal demonic star Desharnais, Jules
2006
60-61 2 p. 127-160
34 p.
article
103 Linearity and bisimulation Yoshida, Nobuko
2007
60-61 2 p. 207-238
32 p.
article
104 Molecular dynamics Bergstra, J.A.
2002
60-61 2 p. 193-214
22 p.
article
105 Network algebra in Java Bergstra, J.A.
2005
60-61 2 p. 247-271
25 p.
article
106 Normal design algebra Guttmann, Walter
2010
60-61 2 p. 144-173
30 p.
article
107 [No title] 2005
60-61 2 p. 155-158
4 p.
article
108 On the closure of the diagonal of a T 1-space Colasante, Maria Luisa
2008
60-61 2 p. 246-250
5 p.
article
109 On the complemented disk algebra Li, Sanjiang
2006
60-61 2 p. 195-211
17 p.
article
110 Ordering the order of a distributive lattice by itself Krebs, Michel
2008
60-61 2 p. 198-208
11 p.
article
111 Partiality I: Embedding relation algebras Schmidt, Gunther
2006
60-61 2 p. 212-238
27 p.
article
112 Performance of pipelined asynchronous systems Corradini, F.
2007
60-61 2 p. 201-221
21 p.
article
113 Preface Brattka, Vasco
2008
60-61 2 p. vii-
1 p.
article
114 Preferential choice and coordination conditions Bergstra, J.A.
2007
60-61 2 p. 172-200
29 p.
article
115 Primitive recursive selection functions for existential assertions over abstract algebras Strahm, Thomas
2008
60-61 2 p. 175-197
23 p.
article
116 Program algebra for sequential code Bergstra, J.A.
2002
60-61 2 p. 125-156
32 p.
article
117 Program algebra with unit instruction operators Ponse, Alban
2002
60-61 2 p. 157-174
18 p.
article
118 Quasi-boolean encodings and conditionals in algebraic specification Diaconescu, Răzvan
2010
60-61 2 p. 174-188
15 p.
article
119 Regular algebra applied to language problems Backhouse, Roland
2006
60-61 2 p. 71-111
41 p.
article
120 Relation-algebraic computation of fixed points with applications Berghammer, Rudolf
2006
60-61 2 p. 112-126
15 p.
article
121 Rewriting preserving recognizability of finite tree languages Vágvölgyi, Sándor
2013
60-61 2 p. 71-94
24 p.
article
122 Soft Linear Set Theory McKinley, Richard
2008
60-61 2 p. 226-245
20 p.
article
123 Soundness in verification of algebraic specifications with OBJ Wilander, K.O.
2008
60-61 2 p. 112-114
3 p.
article
124 Special issue on Programming Language Interference and Dependence Clark, David
2007
60-61 2 p. 123-
1 p.
article
125 Subject index 2001
60-61 2 p. 149-
1 p.
article
126 Subject index – Volume 51 2002
60-61 2 p. 217-
1 p.
article
127 Synthesis of secure adaptors Martín, J.A.
2012
60-61 2 p. 99-126
28 p.
article
128 Tempus fugit: How to plug it Di Pierro, Alessandra
2007
60-61 2 p. 173-190
18 p.
article
129 Testing from a stochastic timed system with a fault model Hierons, Robert M.
2009
60-61 2 p. 98-115
18 p.
article
130 The SL synchronous language, revisited Amadio, Roberto M.
2007
60-61 2 p. 121-150
30 p.
article
131 Tree automata with equality constraints modulo equational theories Jacquemard, Florent
2008
60-61 2 p. 182-208
27 p.
article
132 Typing noninterference for reactive programs Almeida Matos, Ana
2007
60-61 2 p. 124-156
33 p.
article
133 Unifying simulatability definitions in cryptographic systems under different timing assumptions Backes, Michael
2005
60-61 2 p. 157-188
32 p.
article
134 Verifying security protocols with PVS: widening the rank function approach Evans, Neil
2005
60-61 2 p. 253-284
32 p.
article
                             134 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands