×

Found 7 Documents (Results 1–7)

Almost every domain is universal. (English) Zbl 1316.68066

Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 103-119 (2007).
MSC:  68Q55 06B35 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. (English) Zbl 1137.68446

Penczek, Wojciech (ed.) et al., Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press (ISBN 978-1-58603-805-2/pbk). 169-197 (2007).
MSC:  68Q85 03B44 68Q25
PDFBibTeX XMLCite

On communicating automata with bounded channels. (English) Zbl 1137.68447

Penczek, Wojciech (ed.) et al., Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press (ISBN 978-1-58603-805-2/pbk). 147-167 (2007).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite

Propositional dynamic logic for message-passing systems. (English) Zbl 1135.03335

Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12–14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 303-315 (2007).
MSC:  03B70 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Main Field