×

Found 66 Documents (Results 1–66)

Abstraction, up-to techniques and games for systems of fixpoint equations. (English) Zbl 07559481

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 25, 20 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automata for true concurrency properties. (English) Zbl 1504.68139

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 165-182 (2018).
MSC:  68Q85 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Domains and event structures for fusions. (English) Zbl 1458.68128

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 75, 12 p. (2017).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: arXiv Link

Local model checking in a logic for true concurrency. (English) Zbl 1486.68102

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 407-423 (2017).
MSC:  68Q60 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Asynchronous traces and open Petri nets. (English) Zbl 1434.68320

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 86-102 (2015).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Behavioral metrics via functor lifting. (English) Zbl 1360.68607

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 403-415 (2014).
MSC:  68Q70 18B20 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hereditary history-preserving bisimilarity: logics and automata. (English) Zbl 1453.68110

Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8858, 469-488 (2014).
MSC:  68Q85 03B70 68Q45
PDFBibTeX XMLCite
Full Text: DOI

CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. (English) Zbl 1295.68016

Lecture Notes in Computer Science 8704. Berlin: Springer (ISBN 978-3-662-44583-9/pbk). xxii, 594 p. (2014).
MSC:  68-06 68Q85 00B25
PDFBibTeX XMLCite
Full Text: DOI

Non-interference by unfolding. (English) Zbl 1334.68144

Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07733-8/pbk). Lecture Notes in Computer Science 8489, 190-209 (2014).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Efficient contextual unfolding. (English) Zbl 1343.68176

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, 342-357 (2011).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the computation of McMillan’s prefix for contextual nets and graph grammars. (English) Zbl 1306.68120

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 91-106 (2010).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI

A logic for true concurrency. (English) Zbl 1287.68120

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, 147-161 (2010).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: DOI

Unfolding grammars in adhesive categories. (English) Zbl 1239.68036

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 350-366 (2009).
PDFBibTeX XMLCite
Full Text: DOI Link

Encoding asynchronous interactions using open Petri nets. (English) Zbl 1254.68161

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 99-114 (2009).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Petri nets are dioids. (English) Zbl 1170.68536

Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 51-66 (2008).
MSC:  68Q85 16Y60 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Unfolding-based diagnosis of systems with an evolving topology. (English) Zbl 1160.68453

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, 203-217 (2008).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Workshop on Petri nets and graph transformations. (English) Zbl 1175.68212

Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 467-469 (2008).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Open Petri nets: Non-deterministic processes and compositionality. (English) Zbl 1175.68269

Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 257-273 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Modelling calculi with name mobility using graphs with equivalences. (English) Zbl 1278.68211

Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 85-97 (2007).
MSC:  68Q85 68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. (English) Zbl 1214.68243

Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 126-142 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A temporal graph logic for verification of graph transformation systems. (English) Zbl 1196.68154

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1–3, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71997-7/pbk). Lecture Notes in Computer Science 4409, 1-20 (2007).
MSC:  68Q85 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Graph transactions as processes. (English) Zbl 1156.68416

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 199-214 (2006).
MSC:  68Q42 68Q85 18A40
PDFBibTeX XMLCite
Full Text: DOI

Concurrent rewriting for graphs with equivalences. (English) Zbl 1151.68503

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, 279-294 (2006).
MSC:  68Q85 68Q42 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Processes for adhesive rewriting systems. (English) Zbl 1180.68165

Aceto, Luca (ed.) et al., Foundations of software science and computation structures. 9th international conference, FOSSACS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33045-3/pbk). Lecture Notes in Computer Science 3921, 202-216 (2006).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Distributed unfolding of Petri nets. (English) Zbl 1180.68185

Aceto, Luca (ed.) et al., Foundations of software science and computation structures. 9th international conference, FOSSACS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33045-3/pbk). Lecture Notes in Computer Science 3921, 126-141 (2006).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the concurrent semantics of algebraic graph grammars. (English) Zbl 1075.68037

Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 3-23 (2005).
MSC:  68Q42 68Q85 68-02
PDFBibTeX XMLCite
Full Text: DOI

Verifying a behavioural logic for graph transformation systems. (English) Zbl 1271.68167

Honsell, F. (ed.) et al., Proceedings of the workshop of the COMETA project on computational metamodels, Udine, Italy, December, 15–17, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 104, 5-24 (2004).
PDFBibTeX XMLCite
Full Text: Link

Verifying finite-state graph grammars: An unfolding-based approach. (English) Zbl 1099.68046

Gardner, Philippa (ed.) et al., CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22940-X/pbk). Lecture Notes in Computer Science 3170, 83-98 (2004).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Pre-nets, read ARCS and unfolding: A functorial presentation. (English) Zbl 1278.68210

Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 145-164 (2003).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A logic for analyzing abstractions of graph transformation systems. (English) Zbl 1067.68095

Cousot, Radhia (ed.), Static analysis. 10th international symposium, SAS 2003, San Diego, CA, USA, June 11–13, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40325-6/pbk). Lect. Notes Comput. Sci. 2694, 255-272 (2003).
MSC:  68Q85 68Q60 03B70
PDFBibTeX XMLCite
Full Text: Link

Bisimulation by unification. (English) Zbl 1275.68100

Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 254-270 (2002).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Functional concurrent semantics for Petri nets with read and inhibitor arcs. (English) Zbl 0999.68150

Palamidessi, Catuscia (ed.), CONCUR 2000 - Concurrency theory. 11th international conference, University Park, PA, USA, August 22-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1877, 442-457 (2000).
MSC:  68Q85
PDFBibTeX XMLCite

An event structure semantics for P/T contextual nets: Asymmetric event structures. (English) Zbl 0902.68140

Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 63-80 (1998).
MSC:  68Q85
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software