BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Denmark
1 × France
1 × Hungary
1 × Poland
1 × South Africa
1 × Spain
3 × USA
3 × United Kingdom
Collaborated with:
J.J.M.M.Rutten A.Kurz F.S.d.Boer J.Rot A.Silva J.N.Kok F.Arbab M.Izadi D.Clarke J.G.Scholten A.Stam L.W.N.v.d.Torre M.Boasson E.D.d.Jong D.Ancona J.Jacob H.Jonkers R.v.Buuren H.Bosma H.W.L.t.Doest L.Groenewegen S.Hoppenbrouwers M.Iacob W.Janssen M.M.Lankhorst D.v.Leeuwen E.Proper G.V.v.Zanten
Talks about:
coalgebra (4) logic (4) architectur (3) coordin (3) system (3) distribut (2) polynomi (2) coinduct (2) calculus (2) transit (2)

♂ Person: Marcello M. Bonsangue

DBLP DBLP: Bonsangue:Marcello_M=

Facilitated 1 volumes:

CBSE 2009PrCo

Contributed to:

FoSSaCS 20142014
ICALP (2) 20142014
LATA 20132013
IJCAR 20122012
FOSSACS 20092009
LICS 20092009
FoSSaCS 20082008
SEFM 20082008
LICS 20072007
FoSSaCS 20062006
FoSSaCS 20052005
SAC 20052005
EDOC 20042004
EDOC 20032003
SAC 20002000
SAC 19991999
SAC 19981998

Wrote 17 papers:

FoSSaCS-2014-RotB #algebra #equation #semantics
Combining Bialgebraic Semantics and Equations (JR, MMB), pp. 381–395.
ICALP-v2-2014-BonsangueRABR #algebra #induction
A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.
LATA-2013-RotBR #equivalence #induction #proving
Coinductive Proof Techniques for Language Equivalence (JR, MMB, JJMMR), pp. 480–492.
IJCAR-2012-BoerBR #automation #pointer #recursion #source code #verification
Automated Verification of Recursive Programs with Pointers (FSdB, MMB, JR), pp. 149–163.
FoSSaCS-2009-BonsangueRS #algebra #polynomial #theorem
A Kleene Theorem for Polynomial Coalgebras (MMB, JJMMR, AS), pp. 122–136.
LICS-2009-BonsangueRS #algebra #polynomial
An Algebra for Kripke Polynomial Coalgebras (MMB, JJMMR, AS), pp. 49–58.
FoSSaCS-2008-BonsangueRS #algebra #automaton #logic #synthesis
Coalgebraic Logic and Synthesis of Mealy Machines (MMB, JJMMR, AS), pp. 231–245.
SEFM-2008-IzadiBC #component #modelling
Modeling Component Connectors: Synchronisation and Context-Dependency (MI, MMB, DC), pp. 303–312.
LICS-2007-BonsangueK #logic #π-calculus
π-Calculus in Logical Form (MMB, AK), pp. 303–312.
FoSSaCS-2006-BonsangueK #equation
Presenting Functors by Operations and Equations (MMB, AK), pp. 172–186.
FoSSaCS-2005-BonsangueK #logic
Duality for Logics of Transition Systems (MMB, AK), pp. 455–469.
SAC-2005-Guillen-ScholtenABB #calculus #coordination #mobile
MoCha-pi, an exogenous coordination calculus based on mobile channels (JGS, FA, FSdB, MMB), pp. 436–442.
EDOC-2004-BoerBJST #architecture #logic
A Logical Viewpoint on Architectures (FSdB, MMB, JJ, AS, LWNvdT), pp. 73–83.
EDOC-2003-JonkersBABBBDGSHIJLLPSTZ #architecture #enterprise #towards
Towards a Language for Coherent Enterprise Architecture Descriptions (HJ, RvB, FA, FSdB, MMB, HB, HWLtD, LG, JGS, SH, MEI, WJ, MML, DvL, EP, AS, LWNvdT, GVvZ), pp. 28–39.
SAC-2000-ArbabBB #component #coordination #mobile
A Coordination Lanuage for Mobile Components (FA, MMB, FSdB), pp. 166–173.
SAC-1999-BonsangueK #coordination #distributed #modelling
Comparing Coordination Models Based on Shared Distributed Replicated Data (MMB, JNK), pp. 156–165.
SAC-1998-BonsangueKBJ #architecture #distributed #semantics
A software architecture for distributed control systems and its transition system semantics (MMB, JNK, MB, EDdJ), pp. 159–168.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.