|
Search the dblp DataBase
Paola Glavan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paola Glavan, Dean Rosenzweig
Communicating Evolving Algebras. [Citation Graph (0, 0)][DBLP] CSL, 1992, pp:182-215 [Conf]
- Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. [Citation Graph (0, 0)][DBLP] IFIP Congress (1), 1994, pp:396-401 [Conf]
- Paola Glavan, Dean Rosenzweig
Evolving Algebra Model of Programming Language Semantics. [Citation Graph (0, 0)][DBLP] IFIP Congress (1), 1994, pp:416-422 [Conf]
Verification of Causality Requirements in Java Memory Model Is Undecidable. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|