BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Italy
1 × Spain
Collaborated with:
P.Degano L.Kott B.Gamatie B.Genest L.Hélouët E.Badouel L.Bernardinello
Talks about:
observ (2) behaviour (1) algorithm (1) synthesi (1) polynomi (1) parallel (1) communic (1) sequenc (1) product (1) infinit (1)

Person: Philippe Darondeau

DBLP DBLP: Darondeau:Philippe

Contributed to:

FoSSaCS 20082008
ICALP 19891989
ICALP 19831983
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT CAAP/FASE 19951995

Wrote 5 papers:

FoSSaCS-2008-DarondeauGH #sequence chart
Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
ICALP-1989-DarondeauD
Causal Trees (PD, PD), pp. 234–248.
ICALP-1983-DarondeauK #on the #parallel #semantics
On the Observational Semantics of Fair Parallelism (PD, LK), pp. 147–159.
CAAP-1987-DarondeauG #behaviour #communication #infinity
A Fullt Observational Model for Infinite Behaviours of Communicating Systems (PD, BG), pp. 153–168.
TAPSOFT-1995-BadouelBD #algorithm #bound #polynomial #synthesis
Polynomial Algorithms for the Synthesis of Bounded Nets (EB, LB, PD), pp. 364–378.
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.