×

Found 60 Documents (Results 1–60)

Multi-dimensional long-run average problems for vector addition systems with states. (English) Zbl 07559479

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 23, 22 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A survey of bidding games on graphs (Invited Paper). (English) Zbl 07559458

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 2, 21 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Long-run average behavior of vector addition systems with states. (English) Zbl 07649935

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 27, 16 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Determinacy in discrete-bidding infinite-duration games. (English) Zbl 07649928

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 20, 17 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Synchronizing the asynchronous. (English) Zbl 1520.68029

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 21, 17 p. (2018).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Linear distances between Markov chains. (English) Zbl 1392.68293

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 20, 15 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Local linearizability for concurrent container-type data structures. (English) Zbl 1392.68152

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 6, 15 p. (2016).
MSC:  68P05 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Battery transition systems. (English) Zbl 1284.68382

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 595-606 (2014).
MSC:  68Q60 68Q85 93C35
PDFBibTeX XMLCite
Full Text: DOI

From model checking to model measuring. (English) Zbl 1390.68428

D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 273-287 (2013).
MSC:  68Q60 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Aspect-oriented linearizability proofs. (English) Zbl 1390.68213

D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 242-256 (2013).
MSC:  68P05 68Q85 68W10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ideal abstractions for well-structured transition systems. (English) Zbl 1326.68205

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 445-460 (2012).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Dynamic reactive modules. (English) Zbl 1343.68167

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 404-418 (2011).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Simulation distances. (English) Zbl 1287.68127

Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 253-268 (2010).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Forward analysis of depth-bounded processes. (English) Zbl 1284.68419

Ong, Luke (ed.), Foundations of software science and computational structures. 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12031-2/pbk). Lecture Notes in Computer Science 6014, 94-108 (2010).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Formalisms for specifying Markovian population models. (English) Zbl 1260.68284

Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 3-23 (2009).
PDFBibTeX XMLCite
Full Text: DOI Link

Strategy construction for parity games with imperfect information. (English) Zbl 1160.68455

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 325-339 (2008).
MSC:  68Q85 03B70 91A43
PDFBibTeX XMLCite
Full Text: DOI Link

Environment assumptions for synthesis. (English) Zbl 1160.68437

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 147-161 (2008).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Permissiveness in transactional memories. (English) Zbl 1161.68387

Taubenfeld, Gadi (ed.), Distributed computing. 22nd international symposium, DISC 2008, Arcachon, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87778-3/pbk). Lecture Notes in Computer Science 5218, 305-319 (2008).
MSC:  68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Trading infinite memory for uniform randomness in timed games. (English) Zbl 1143.68479

Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 87-100 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Bounded asynchrony: concurrency for modeling cell-cell interactions. (English) Zbl 1375.92018

Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 17-32 (2008).
MSC:  92C37 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Strategy logic. (English) Zbl 1151.03327

Caires, Luís (ed.) et al., CONCUR 2007 – concurrency theory. 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74406-1/pbk). Lecture Notes in Computer Science 4703, 59-73 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Games, time, and probability: Graph models for system design and analysis. (English) Zbl 1132.68043

van Leeuwen, Jan (ed.) et al., SOFSEM 2007: Theory and practice of computer science. 33rd conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 20–26, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69506-6/pbk). Lecture Notes in Computer Science 4362, 103-110 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Assume-guarantee synthesis. (English) Zbl 1186.68284

Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 261-275 (2007).
MSC:  68Q60 68Q85 91A80
PDFBibTeX XMLCite
Full Text: DOI

Strategy improvement for stochastic Rabin and Streett games. (English) Zbl 1151.68474

Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 375-389 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Finitary winning in \(\omega\)-regular games. (English) Zbl 1180.68171

Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33056-9/pbk). Lecture Notes in Computer Science 3920, 257-271 (2006).
MSC:  68Q60 68Q85 91A43
PDFBibTeX XMLCite
Full Text: DOI

Quantifying similarities between timed systems. (English) Zbl 1175.68281

Pettersson, Paul (ed.) et al., Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30946-2/pbk). Lecture Notes in Computer Science 3829, 226-241 (2005).
MSC:  68Q85 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Semiperfect-information games. (English) Zbl 1172.68540

Ramanujam, R. (ed.) et al., FSTTCS 2005: Foundations of software technology and theoretical computer science. 25th international conference, Hyderabad, India, December 15–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30495-9/pbk). Lecture Notes in Computer Science 3821, 1-18 (2005).
MSC:  68Q60 68Q85 91A43
PDFBibTeX XMLCite
Full Text: DOI

The element of surprise in timed games. (English) Zbl 1262.68141

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, 144-158 (2003).
PDFBibTeX XMLCite
Full Text: DOI

Discounting the future in systems theory. (English) Zbl 1039.68087

Baeten, Jos C. M. (ed.) et al., Automata, languages and programming. 30th international colloquium, ICALP 2003, Eindhoven, The Netherland, June 30 – July 4, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40493-7/pbk). Lect. Notes Comput. Sci. 2719, 1022-1037 (2003).
MSC:  68Q85 91A80 93A30
PDFBibTeX XMLCite
Full Text: Link

Trading probability for fairness. (English) Zbl 1020.68060

Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 292-305 (2002).
MSC:  68Q85 68Q60 91A80
PDFBibTeX XMLCite
Full Text: Link

Fair bisimulation. (English) Zbl 0960.68121

Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 299-314 (2000).
MSC:  68Q85
PDFBibTeX XMLCite

Symbolic model checking for rectangular hybrid systems. (English) Zbl 0960.68117

Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 142-156 (2000).
PDFBibTeX XMLCite

Verifying sequential consistency on shared-memory multiprocessor systems. (English) Zbl 1046.68593

Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 301-315 (1999).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite

A space-efficient on-the-fly algorithm for real-time model checking. (English) Zbl 1514.68168

Montanari, Ugo (ed.) et al., CONCUR ‘96: Concurrency theory. 7th international conference, Pisa, Italy, August 26–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1119, 514-529 (1996).
PDFBibTeX XMLCite
Full Text: DOI

The benefits of relaxing punctuality. (English) Zbl 1314.68195

Proceedings of the tenth annual ACM symposium on principles of distributed computing, PODC ’91, Montreal, QC, Canada, August 19–21, 1991. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-439-2). 139-152 (1991).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software