Bonsangue, Marcello M.
Bonsangue, Marcello (Marcello Maria)
Bonsangue, M. M.
Marcello Maria Bonsangue Ph.D. Vrije Universiteit Amsterdam 1996
Bonsangue, Marcello M. (Marcello Maria)
VIAF ID: 18408389 ( Personal )
Permalink: http://viaf.org/viaf/18408389
Preferred Forms
- 100 1 _ ‡a Bonsangue, M. M.
-
- 100 1 _ ‡a Bonsangue, Marcello M.
- 100 1 _ ‡a Bonsangue, Marcello M.
-
-
- 100 0 _ ‡a Marcello Maria Bonsangue ‡c Ph.D. Vrije Universiteit Amsterdam 1996
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Coalgebraic logic and synthesis of Mealy machines | |
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers | |
Comparing coordination models and architectures using embeddings | |
A compositional model for confluent dynamic data-flow networks | |
Data Science and Artificial Intelligence : First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings | |
FMCO 2008 | |
Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 : revised papers | |
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings | |
Generalized ultrametric spaces : completion, topology, and powerdomains via the Yoneda embedding | |
Isomorphisms between predicate and state transformers | |
A logical interface description language for components | |
Metric predicate transformaters : towards a notion of refinement for concurrency | |
Re-interpreting the modal m-calculus | |
Relating multifunctions and predicate transformers through closure operators | |
Semantics, orderings and recursion in the weakest precondition calculus | |
Some observations on frames and observation frames | |
Topological dualities in semantics | |
Towards an infinitary logic of domains : Abramsky logic for transition systems | |
A transition system semantics for the control-driven coordination language MANIFOLD |