Dan Teodosiu

Affiliations:

According to our database¹, Dan Teodosiu authored at least 2 papers between 2002 and 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources.

[BibT_eX]

[DOI]

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2002

Resource traces: a domain for processes sharing exclusive resources.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002