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
α
β
—
,
δ
π
-

Component based systems

"Connector algebras for C/E and P/T nets' interactions" (2013) Bruni, R.; Melgratti, H.; Montanaric, U.; Sobociński, P.L. Logical Methods in Computer Science. 9(3)

"Distribution of modal transition systems" (2012) Sibay, G.E.; Uchitel, S.; Braberman, V.; Kramer, J. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:403-417

"A connector algebra for P/T nets interactions" (2011) Bruni, R.; Melgratti, H.; Montanari, U. 22nd Conference on Concurrency Theory, CONCUR 2011. 6901 LNCS:312-326

"Towards managing dynamic reconfiguration of software systems in a categorical setting" (2010) Castro, P.F.; Aguirre, N.M.; López Pombo, C.G.; Maibaum, T.S.E. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:306-321