×

Found 17 Documents (Results 1–17)

Asynchronous games over tree architectures. (English) Zbl 1334.68150

Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 275-286 (2013).
MSC:  68Q85 68Q45 91A43
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying recursive active documents with positive data tree rewriting. (English) Zbl 1245.68078

Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 469-480, electronic only (2010).
MSC:  68P15 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Optimal Zielonka-type construction of deterministic asynchronous automata. (English) Zbl 1288.68154

Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 52-63 (2010).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Tree pattern rewriting systems. (English) Zbl 1183.68372

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 332-346 (2008).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

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

Constructing exponential-size deterministic Zielonka automata. (English) Zbl 1133.68362

Bugliesi, Michele (ed.) et al., Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10–14, 2006. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-35907-4/pbk). Lecture Notes in Computer Science 4052, 565-576 (2006).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Snapshot verification. (English) Zbl 1087.68055

Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 510-525 (2005).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Specifying and verifying partial order properties using template MSCs. (English) Zbl 1126.68498

Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 195-210 (2004).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A Kleene theorem for a class of communicating automata with effective algorithms. (English) Zbl 1117.68403

Calude, Cristian S. (ed.) et al., Developments in language theory. 8th international conference, DLT 2004, Auckland, New Zealand, December 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24014-4/pbk). Lecture Notes in Computer Science 3340, 30-48 (2004).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

High-level message sequence charts and projections. (English) Zbl 1274.68186

Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 311-326 (2003).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). (English) Zbl 1057.68625

Widmayer, Peter (ed.) et al., Automata, languages and programming. 29th international colloquium, ICALP 2002, Málaga, Spain, July 8–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43864-5). Lect. Notes Comput. Sci. 2380, 657-668 (2002).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

Pattern matching and membership for hierarchical message sequence charts. (English) Zbl 1059.68544

Rajsbaum, Sergio (ed.), LATIN 2002: Theoretical informatics. 5th Latin American symposium, Cancun, Mexico, April 3–6, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43400-3). Lect. Notes Comput. Sci. 2286, 326-340 (2002).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field