Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
2009 ◽
Vol 410
(41)
◽
pp. 4044-4066
◽
Filippo Bonchi
◽
Ugo Montanari
Christos Tsigkanos
◽
Nianyu Li
◽
Zhi Jin
◽
Zhenjiang Hu
◽
Carlo Ghezzi
2015 ◽
Vol 14
(4)
◽
pp. 1-27
◽
Jian-Min Jiang
◽
Huibiao Zhu
◽
Qin Li
◽
Yongxin Zhao
◽
Lin Zhao
◽
...
Majid Babaei
◽
Mojtaba Bagherzadeh
◽
Juergen Dingel
F. Bonchi
◽
B. Konig
◽
U. Montanari
S. Prochnow
◽
R. von Hanxleden
2012 ◽
Vol 198-199
◽
pp. 555-560
◽
Espen S. Hamborg
◽
Geert F. Versteeg
V. Sassone
◽
P. Sobocinski
2011 ◽
Vol 209
(4)
◽
pp. 637-663
◽
B. Ploeger
◽
J.W. Wesselink
◽
T.A.C. Willemse
Egidio Astesiano
◽
Gianna Reggio