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 |