Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Lista de

$
0
1
-
1
1
-
1
-
1
-
1
1
1
2
3
4
5
6
7
8
9
a
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
‐
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
a
-
a
-
a
b
-
b
-
b
-
b
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
+
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
c
-
c
-
c
d
-
d
-
d
-
d
-
d
-
d
-
d
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
f
-
f
-
f
f
g
-
g
-
g
-
g
-
g
-
g
-
g
-
g
-
‐
g
-
g
-
‐
g
-
g
h
‐
h
h
-
h
-
h
-
h
-
h
i
-
i
j
k
-
k
-
k
-
k
-
k
-
k
l
-
l
-
l
-
l
-
l
-
l
-
l
l
+
l
±
l
l
m
-
m
-
m
-
m
-
m
-
m
+
m
-
m
-
m
-
m
-
‐
m
n
-
n
-
n
-
n
-
n
o
p
-
p
p
-
p
-
p
q
r
-
r
-
r
s
-
s
-
s
{
s
-
s
t
-
t
‐
-
t
-
t
-
t
t
-
t
u
v
v
w
x
-
x
y
z
α
β
—
,
δ
π
-

Heidelberg (CO)

"Synchronous multiparty synchronizations and transactions" (2008) Lanese, I.; Melgratti, H. Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. 5065 LNCS:76-95

"Expressive power and decidability for memory logics" (2008) Areces, C.; Figueira, D.; Figueira, S.; Mera, S. 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008. 5110 LNAI:56-68

"Multiparty sessions in SOC" (2008) Bruni, R.; Lanese, I.; Melgratti, H.; Tuosto, E. 10th International Conference on Coordination Models and Languages, COORDINATION 2008. 5052 LNCS:67-82

"On the formal semantics of IF-like logics" (2008) Figueira, S.; Gorín, D.; Grimson, R. 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008. 5110 LNAI:164-178