Distributed computing techniques : [... Ninth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07) and the Ninth International Co...

Veröffentlicht 2009

Semantics, orderings and recursion in the weakest precondition calculus

von Bonsangue, Marcello
Veröffentlicht 1992

Semantics, orderings and recursion in the weakest precondition calculus

von Bonsangue, Marcello
Veröffentlicht 1992

Isomorphisms between predicate and state transformers

von Bonsangue, Marcello
Veröffentlicht 1993

Data science and artificial intelligence : first international conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023 : proceedings

Veröffentlicht 2023

Coalgebraic methods in computer science

Veröffentlicht 22015

Isomorphisms between predicate and state transformers

von Bonsangue, Marcello
Veröffentlicht 1993

Learning Probabilistic Automata Using Residuals

von Chu, Wenjing
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Towards an infinitary logic of domains : Abramsky logic for transition systems

von Bonsangue, Marcello M.
Veröffentlicht 1999

A compositional model for confluent dynamic data-flow networks

von Boer, Frank S. de
Veröffentlicht 2000

Approximately Learning Quantum Automata

von Chu, Wenjing
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)

Comparing coordination models and architectures using embeddings

von Bonsangue, Marcello M.
Veröffentlicht 2000

A logical interface description language for components

von Arbab, Farhad
Veröffentlicht 2000

A Language-Based Causal Model for Safety

von Bonsangue, Marcello
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

A coordination language for mobile components

von Arbab, Farhad
Veröffentlicht 1999

Automatic Human-Like Detection of Code Smells Bonsangue

von Soomlek, Chitsutha
Veröffentlicht in DS (24. : 2021 : Online) Discovery Science (2021)

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 ; proceedings

Veröffentlicht 2007

Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday

Veröffentlicht 2016

Coalgebraic methods in computer science

Veröffentlicht 2015

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers

Veröffentlicht 2011