×

Found 11,750 Documents (Results 1–100)

33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. (English) Zbl 1496.68027

LIPIcs – Leibniz International Proceedings in Informatics 243. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-246-4). ix, 37 articles, not consecutively paged, electronic only, open access (2022).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI Link

Kaki: concurrent update synthesis for regular policies via Petri games. (English) Zbl 07573724

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 249-267 (2022).
MSC:  68Q85 68M10 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic model checking of BPMN processes at runtime. (English) Zbl 07573721

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 191-208 (2022).
MSC:  68Q60 68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Data and process resonance. Identifier soundness for models of information systems. (English) Zbl 1499.68236

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 369-392 (2022).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

From place nets to local process models. (English) Zbl 1499.68232

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 346-368 (2022).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Aligning event logs to resource-constrained \(\nu \)-Petri nets. (English) Zbl 1499.68235

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 325-345 (2022).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior. (English) Zbl 1499.68231

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 303-324 (2022).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

The ins and outs of Petri net composition. (English) Zbl 1499.68216

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 278-299 (2022).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Avoiding exponential explosion in Petri net models of control flows. (English) Zbl 1499.68227

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 261-277 (2022).
PDF BibTeX XML Cite
Full Text: DOI

The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 236-257 (2022).
MSC:  68Q85 68Q25 91A80
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues. (English) Zbl 1499.68223

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 213-235 (2022).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Petri nets semantics of reaction rules (RR). A language for ecosystems modelling. (English) Zbl 07573261

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 175-194 (2022).
MSC:  68Q85 92D40
PDF BibTeX XML Cite
Full Text: DOI

Computing transience bounds of emergency call centers: a hierarchical timed Petri net approach. (English) Zbl 1499.68215

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 90-112 (2022).
MSC:  68Q85 90C40
PDF BibTeX XML Cite
Full Text: DOI arXiv

Waiting nets. (English) Zbl 1499.68226

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 67-89 (2022).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Discovering unseen behaviour from event logs. (English) Zbl 1499.68217

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 23-42 (2022).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Computing race variants in message-passing concurrent programming with selective receives. (English) Zbl 1499.68070

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 188-207 (2022).
MSC:  68N30 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

LTL under reductions with weaker conditions than stutter invariance. (English) Zbl 1499.68204

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 170-187 (2022).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Encodability criteria for quantum based systems. (English) Zbl 1499.68234

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 151-169 (2022).
MSC:  68Q85 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fault-tolerant multiparty session types. (English) Zbl 1499.68233

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 93-113 (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Branch-well-structured transition systems and extensions. (English) Zbl 1499.68221

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 50-66 (2022).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

The reversible temporal process language. (English) Zbl 1499.68220

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 31-49 (2022).
MSC:  68Q85 68N19
PDF BibTeX XML Cite
Full Text: DOI

Monitoring hyperproperties with circuits. (English) Zbl 1499.68199

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 1-10 (2022).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. (English) Zbl 1492.68011

Lecture Notes in Computer Science 13288. Cham: Springer (ISBN 978-3-031-06652-8/pbk; 978-3-031-06653-5/ebook). xiv, 393 p. (2022).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI

Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. (English) Zbl 1492.68025

Lecture Notes in Computer Science 13273. Cham: Springer (ISBN 978-3-031-08678-6/pbk; 978-3-031-08679-3/ebook). xiv, 209 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Bisimulations for neural network reduction. (English) Zbl 1498.68169

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 285-300 (2022).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Transactions on Petri Nets and Other Models of Concurrency XVI. (English) Zbl 1492.68020

Lecture Notes in Computer Science 13220. Journal Subline. Berlin: Springer (ISBN 978-3-662-65302-9/pbk; 978-3-662-65303-6/ebook). xvii, 141 p. (2022).
MSC:  68-06 68Q85 00B15
PDF BibTeX XML Cite
Full Text: DOI

Paradigms of concurrency. Observations, behaviours and systems – a Petri net view. (English) Zbl 07477902

Studies in Computational Intelligence 1020. Berlin: Springer (ISBN 978-3-662-64819-3/hbk; 978-3-662-64821-6/ebook). xii, 326 p. (2022).
MSC:  68-02 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Optimization-based assessment of initial-state opacity in Petri nets. (English) Zbl 1497.90228

Masone, Adriano (ed.) et al., Optimization and data science: trends and applications. 5th AIROYoung workshop and AIRO PhD school 2021 joint event, February 8–12, 2021. Cham: Springer. AIRO Springer Ser. 6, 127-138 (2021).
MSC:  90C90 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Temporal reasoning through automatic translation of tock-CSP into timed automata. (English) Zbl 1498.68147

Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 70-86 (2021).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Security protocols as choreographies. (English) Zbl 1499.94036

Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 98-111 (2021).
MSC:  94A60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Protocol analysis with time and space. (English) Zbl 1498.94052

Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 22-49 (2021).
MSC:  94A60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Compositional synthesis of modular systems. (English) Zbl 1497.68300

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 303-319 (2021).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proceedings of the 14th interaction and concurrency experience workshop, ICE, online, June 18, 2021. (English) Zbl 1489.68025

Electronic Proceedings in Theoretical Computer Science (EPTCS) 347. Waterloo: Open Publishing Association (OPA). 95 p., electronic only, open access (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
Full Text: DOI Link

Proceedings of the combined 28th international workshop on expressiveness in concurrency and the 18th workshop on structural operational semantics, EXPRESS/SOS, Paris, France, online event, August 23, 2021. (English) Zbl 1489.68010

Electronic Proceedings in Theoretical Computer Science (EPTCS) 339. Waterloo: Open Publishing Association (OPA). 92 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Compositional verification of smart contracts through communication abstraction. (English) Zbl 1497.68321

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 429-452 (2021).
MSC:  68Q60 68Q85 94A60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Thread-modular analysis of release-acquire concurrency. (English) Zbl 1497.68123

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 384-404 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Improving thread-modular abstract interpretation. (English) Zbl 1497.68122

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 359-383 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Solving systems of bilinear equations for transition rate reconstruction. (English) Zbl 1496.68248

Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 157-172 (2021).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

A novel approach for supervisor synthesis to enforce opacity of discrete event systems. (English) Zbl 1496.68195

Gao, Debin (ed.) et al., Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12919, 210-227 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI

A temporal logic for asynchronous hyperproperties. (English) Zbl 1493.68205

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 694-717 (2021).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Computing bottom SCCs symbolically using transition guided reduction. (English) Zbl 1493.68240

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 505-528 (2021).
MSC:  68Q85 68R10
PDF BibTeX XML Cite
Full Text: DOI

Stateless model checking under a reads-value-from equivalence. (English) Zbl 1493.68200

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 341-366 (2021).
MSC:  68Q60 68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow. (English) Zbl 1491.68124

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 105-126 (2021).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Compositional safe approximation of response time distribution of complex workflows. (English) Zbl 1491.68119

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 83-104 (2021).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software