Yazar

Marcello Bonsangue

20 cilt bulundu.

Cilt sonuçları

Formal Methods for Components and Objects

Marcello M. Bonsangue, Eric Madelaine · Springer Science & Business Media

307 sayfa · 2009-09-07

Computers

Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · Springer

380 sayfa · 2004-11-08

Computers

Formal Methods for Components and Objects

Bilinmeyen yazar · Springer Science & Business Media

436 sayfa · 2007

Kategori yok

Formal Methods for Open Object-Based Distributed Systems

Marcello M. Bonsangue, Einar Broch Johnsen · Springer

317 sayfa · 2007-05-25

Computers

CiltAutomatic Equivalence Proofs for Non-deterministic CoalgebrasMarcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva

Automatic Equivalence Proofs for Non-deterministic Coalgebras

Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva · Yayınevi bilinmiyor

Sayfa sayısı yok · 2013

Kategori yok

CiltA Decision Procedure for Bisimilarity of Generalized Regular ExpressionsMarcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva

A Decision Procedure for Bisimilarity of Generalized Regular Expressions

Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva · Yayınevi bilinmiyor

Sayfa sayısı yok · 2011

Kategori yok

Recursion theorySemantics, Orderings and Recursion in the Weakest Precondition CalculusMarcello Bonsangue, Joost N. Kok

Semantics, Orderings and Recursion in the Weakest Precondition Calculus

Marcello Bonsangue, Joost N. Kok · Yayınevi bilinmiyor

58 sayfa · 1992

Recursion theory

Computer programmingIsomorphisms Between Predicate and State TransformersMarcello Bonsangue, Joost N. Kok

Isomorphisms Between Predicate and State Transformers

Marcello Bonsangue, Joost N. Kok · Yayınevi bilinmiyor

30 sayfa · 1993

Computer programming

CiltAlexandroff and Scott Topologies for Generalized Ultrametric SpacesMarcello Maria Bonsangue, Franciscus Cornelus Breugel, Johannes Josephus Martinus Matheus Rutten

Alexandroff and Scott Topologies for Generalized Ultrametric Spaces

Marcello Maria Bonsangue, Franciscus Cornelus Breugel, Johannes Josephus Martinus Matheus Rutten · Yayınevi bilinmiyor

20 sayfa · 1995

Kategori yok

CiltSome Observations on Frames and Observation FramesMarcello Maria Bonsangue

Some Observations on Frames and Observation Frames

Marcello Maria Bonsangue · Yayınevi bilinmiyor

20 sayfa · 1995

Kategori yok

CiltDuality Beyond Sober SpacesMarcello Maria Bonsangue, Bartholomeus Paulus Franciscus Jacobs, Joost Nico Kok

Duality Beyond Sober Spaces

Marcello Maria Bonsangue, Bartholomeus Paulus Franciscus Jacobs, Joost Nico Kok · Yayınevi bilinmiyor

42 sayfa · 1994

Kategori yok

CiltA Coordination Language for Mobile ComponentsFarhad Arbab, Frank S. de Boer, Marcello Maria Bonsangue, Centrum voor Wiskunde en Informatica

A Coordination Language for Mobile Components

Farhad Arbab, Frank S. de Boer, Marcello Maria Bonsangue, Centrum voor Wiskunde en Informatica · Yayınevi bilinmiyor

15 sayfa · 1999

Kategori yok

CiltRelating Multifunctions and Predicate Transformers Through Closure OperatorsMarcello Maria Bonsangue, Joost Nico Kok

Relating Multifunctions and Predicate Transformers Through Closure Operators

Marcello Maria Bonsangue, Joost Nico Kok · Yayınevi bilinmiyor

23 sayfa · 1994

Kategori yok

CiltMetric Predicate TransformatersMarcello Maria Bonsangue, Erik Peter Vink

Metric Predicate Transformaters

Marcello Maria Bonsangue, Erik Peter Vink · Yayınevi bilinmiyor

38 sayfa · 1994

Kategori yok

CiltTowards an Infinitary Logic of DomainsMarcello Maria Bonsangue, Joost Nico Kok, Centrum voor Wiskunde en Informatica

Towards an Infinitary Logic of Domains

Marcello Maria Bonsangue, Joost Nico Kok, Centrum voor Wiskunde en Informatica · Yayınevi bilinmiyor

28 sayfa · 1999

Kategori yok

CiltRe-interpreting the Modal M-calculusMarcello Maria Bonsangue, Marta Zofia Kwiatkowska

Re-interpreting the Modal M-calculus

Marcello Maria Bonsangue, Marta Zofia Kwiatkowska · Yayınevi bilinmiyor

38 sayfa · 1994

Kategori yok

MIMD computersA Transition System Semantics for the Control-driven Coordination Language MANIFOLD.Bilinmeyen yazar

A Transition System Semantics for the Control-driven Coordination Language MANIFOLD.

Bilinmeyen yazar · Yayınevi bilinmiyor

38 sayfa · 1998

MIMD computers

CiltComparing Coordination Models and Architectures Using EmbeddingsMarcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro

Comparing Coordination Models and Architectures Using Embeddings

Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro · Yayınevi bilinmiyor

33 sayfa · 2000

Kategori yok

CiltAn Approach to Object-orientation in Action SystemsMarcello M. Bonsangue, Joost N. Kok, Kaisa Sere

An Approach to Object-orientation in Action Systems

Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere · Yayınevi bilinmiyor

34 sayfa · 1997

Kategori yok

CiltCoalgebraic Logic and Synthesis of Mealy MachinesMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra M. Silva, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)

Coalgebraic Logic and Synthesis of Mealy Machines

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra M. Silva, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) · Yayınevi bilinmiyor

19 sayfa · 2007

Kategori yok