Patricia Peratto

According to our database¹, Patricia Peratto authored at least 5 papers between 1997 and 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

Structural Operational Semantics with transitivity rules and execution time.

[BibT_eX]

[DOI]

CLEI Electron. J., 2009

2007

A semantics for While in Pi-calculus.

[BibT_eX]

[DOI]

CLEI Electron. J., 2007

Semantics of Termination.

[BibT_eX]

[DOI]

CLEI Electron. J., 2007

2006

A semantics for while with break, continue and goto.

[BibT_eX]

[DOI]

CLEI Electron. J., 2006

1997

Well-founded Relations in Type Theory.

[BibT_eX]

[DOI]

Log. J. IGPL, 1997