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 × France
Collaborated with:
M.Miculan Wen Kokke F.Montesi
Talks about:
process (2) determinist (1) abstract (1) quantit (1) classic (1) semant (1) better (1) aspect (1) never (1) fulli (1)

Person: Marco Peressotti

DBLP DBLP: Peressotti:Marco

Contributed to:

QAPL 20142014
POPL 20192019

Wrote 2 papers:

QAPL-2014-MiculanP #aspect-oriented #nondeterminism #process
GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
POPL-2019-KokkeMP #process #semantics
Better late than never: a fully-abstract semantics for classical processes (WK, FM, MP), p. 29.

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.