×

zbMATH — the first resource for mathematics

Found 24 Documents (Results 1–24)

100
MathJax
Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 59-84 (2008).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 261-281 (2004).
MSC:  68Q85 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: Link
Aceto, Luca (ed.) et al., EXPRESS’00: 7th international workshop on expressiveness in concurrency. Proceedings of the satellite workshop of CONCUR 2000, University Park, PA, USA, August 21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 39, No. 1, 94-117 (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Nestmann, Uwe (ed.) et al., EXPRESS’02. Papers from the 9th international workshop on expressiveness in concurrency, Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 2, 15-32 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI