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 × Italy
Collaborated with:
G.Ciaccio R.Carvajal-Schiaffino G.Delzanno
Talks about:
workstat (1) techniqu (1) structur (1) network (1) messag (1) combin (1) valid (1) petri (1) gamma (1) bound (1)

Person: Giovanni Chiola

DBLP DBLP: Chiola:Giovanni

Contributed to:

TACAS 20012001
PDP 19971997

Wrote 2 papers:

TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
PDP-1997-ChiolaC #low cost #named #network
GAMMA: A low-cost network of workstations based on active messages (GC, GC), pp. 78–83.

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.