Patricia Peratto

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

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Structural Operational Semantics with transitivity rules and execution time.
CLEI Electron. J., 2009

2007
A semantics for While in Pi-calculus.
CLEI Electron. J., 2007

Semantics of Termination.
CLEI Electron. J., 2007

2006
A semantics for while with break, continue and goto.
CLEI Electron. J., 2006

1997
Well-founded Relations in Type Theory.
Logic Journal of the IGPL, 1997


  Loading...