Author:
Bonchi Filippo,Buscemi Maria Grazia,Ciancia Vincenzo,Gadducci Fabio
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference37 articles.
1. Bonchi, F., Buscemi, M.G., Ciancia, V., Gadducci, F.: A category of explicit fusions. In: Concurrency, Graphs and Models. Lect. Notes in Comput. Sci., vol. 5065, pp. 544–562. Springer (2008)
2. Bonchi, F., König, B., Montanari, U.: Saturated semantics for reactive systems. In: Procs. of LICS, pp. 69–80. IEEE Computer Society (2006)
3. Bonchi, F., Montanari, U.: Coalgebraic models for reactive systems. In: Procs. of CONCUR. Lect. Notes in Comput. Sci., vol. 4701, pp. 364–380. Springer (2007)
4. Bonchi, F., Montanari, U.: Symbolic semantics revisited. In: Procs. of FOSSACS. Lect. Notes in Comput. Sci., vol. 4962, pp. 395–412. Springer (2008)
5. Bonchi, F., Montanari, U.: Coalgebraic symbolic semantics. In: Procs. of CALCO. Lect. Notes in Comput. Sci., vol. 5728, pp. 173–190. Springer (2009)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploring nominal cellular automata;Journal of Logical and Algebraic Methods in Programming;2017-12
2. A Denotational View of Replicated Data Types;Lecture Notes in Computer Science;2017
3. Name-passing calculi: From fusions to preorders and types;Information and Computation;2016-12
4. From urelements to Computation;IFIP Advances in Information and Communication Technology;2016
5. A behavioural theory for a π-calculus with preorders;Journal of Logical and Algebraic Methods in Programming;2015-11