×

Found 5,618 Documents (Results 1–100)

From DB-nets to coloured Petri nets with priorities. (English) Zbl 07796238

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 449-469 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coverability and termination in recursive Petri nets. (English) Zbl 07796237

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 429-448 (2019).
MSC:  68Q85 68Q17 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Parameter synthesis for bounded cost reachability in time Petri nets. (English) Zbl 07796235

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 406-425 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

The combinatorics of barrier synchronization. (English) Zbl 07796234

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 386-405 (2019).
MSC:  68Q85 68R05 68W05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parameterized analysis of immediate observation Petri nets. (English) Zbl 07796233

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 365-385 (2019).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Saturation enhanced with conditional locality: application to Petri nets. (English) Zbl 07796231

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 342-361 (2019).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Improving saturation efficiency with implicit relations. (English) Zbl 07796229

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 301-320 (2019).
MSC:  68Q85 68P05
PDFBibTeX XMLCite
Full Text: DOI

Finding complex process-structures by exploiting the token-game. (English) Zbl 07796226

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 258-278 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Generalized alignment-based trace clustering of process behavior. (English) Zbl 07796225

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 237-257 (2019).
MSC:  68Q85 62H30
PDFBibTeX XMLCite
Full Text: DOI

Reversing unbounded Petri nets. (English) Zbl 07796223

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 213-233 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Reversing steps in Petri nets. (English) Zbl 07796221

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 171-191 (2019).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Fixed parameter tractability and polynomial time results for the synthesis of \(b\)-bounded Petri nets. (English) Zbl 07796219

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 148-168 (2019).
MSC:  68Q85 68Q27
PDFBibTeX XMLCite
Full Text: DOI

Articulation of transition systems and its application to Petri net synthesis. (English) Zbl 07796217

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 113-126 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Stochastic evaluation of large interdependent composed models through Kronecker algebra and exponential sums. (English) Zbl 07796210

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 47-66 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Modal open Petri nets. (English) Zbl 07796209

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 25-46 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Measuring masking fault-tolerance. (English) Zbl 1527.68140

Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 375-392 (2019).
MSC:  68Q85 68M15 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimal time-bounded reachability analysis for concurrent systems. (English) Zbl 1527.68139

Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 191-208 (2019).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI

A data flow model with frequency arithmetic. (English) Zbl 1524.68215

Hähnle, Reiner (ed.) et al., Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11424, 369-385 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A process algebra for link layer protocols. (English) Zbl 1524.68224

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 668-693 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A categorical model of an i/o-typed \(\pi \)-calculus. (English) Zbl 1524.68220

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 640-667 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Manifest deadlock-freedom for shared session types. (English) Zbl 1524.68208

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 611-639 (2019).
MSC:  68Q85 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

Asynchronous timed session types. From duality to time-sensitive processes. (English) Zbl 1524.68210

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 583-610 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference. (English) Zbl 1524.68219

Mesnard, Fred (ed.) et al., Logic-based program synthesis and transformation. 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4–6, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11408, 77-93 (2019).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multiparty classical choreographies. (English) Zbl 1524.68079

Mesnard, Fred (ed.) et al., Logic-based program synthesis and transformation. 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4–6, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11408, 59-76 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weights, raising and lowering operators, and \(K\)-types for automorphic forms on \(SL(3,\mathbb{R})\). (English) Zbl 1528.22016

Miller, Stephen D. (ed.) et al., Representation theory, automorphic forms & complex geometry. A tribute to Wilfried Schmid. Selected contributions based on the presentations at the conference, Harvard University, Cambridge, MA, USA, May 20–23, 2013, and a workshop around topics close to Wilfried Schmid, Hainan, China, 2013. Somerville, MA: International Press. 139-161 (2019).
MSC:  22E60 11F55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Star operations for affine Hecke algebras. (English) Zbl 1527.20001

Miller, Stephen D. (ed.) et al., Representation theory, automorphic forms & complex geometry. A tribute to Wilfried Schmid. Selected contributions based on the presentations at the conference, Harvard University, Cambridge, MA, USA, May 20–23, 2013, and a workshop around topics close to Wilfried Schmid, Hainan, China, 2013. Somerville, MA: International Press. 107-137 (2019).
Reviewer: Hu Jun (Beijing)
MSC:  20C08
PDFBibTeX XMLCite
Full Text: arXiv

Combinatorial dynamics for regulatory networks. (English) Zbl 1526.92022

Chaves, Madalena (ed.) et al., Molecular logic and computational synthetic biology. First international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11415, 56-73 (2019).
MSC:  92C42 92C37 94C11
PDFBibTeX XMLCite
Full Text: DOI

A strongly quasi-hereditary structure on Auslander-Dlab-Ringel algebras. (English) Zbl 1526.16011

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 146-151 (2019).
MSC:  16G10 16E60 16E10
PDFBibTeX XMLCite

On projective module with unique maximal submodule. (Japanese. English summary) Zbl 1526.16005

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 135-145 (2019).
MSC:  16D40 16N20
PDFBibTeX XMLCite

Decorated marked surfaces: Calabi-Yau categories and related topics. (English) Zbl 1520.13038

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 129-134 (2019).
PDFBibTeX XMLCite
Full Text: arXiv

Centers of modular group algebras. (Japanese. English summary) Zbl 1526.16023

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 125-128 (2019).
MSC:  16S34 20C20
PDFBibTeX XMLCite

An application of Hochschild cohomology to the moduli of subalgebras of the full matrix ring. (English) Zbl 1526.16008

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 110-118 (2019).
MSC:  16E40 16S50 14D22
PDFBibTeX XMLCite

Finite dimensional algebras arising from dimer models and their derived equivalences. (English) Zbl 1526.16025

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 104-109 (2019).
MSC:  16S38 16G20 18G80
PDFBibTeX XMLCite

Components of the stable Auslander-Reiten quiver for a symmetric order over a complete discrete valuation ring. (Japanese. English summary) Zbl 1526.16015

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 82-90 (2019).
MSC:  16G20 16G70 16G30
PDFBibTeX XMLCite

Resolution of DG-modules. (English) Zbl 1526.16007

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 76-81 (2019).
MSC:  16E05 16E45
PDFBibTeX XMLCite

Quotients \(G/H\) in super-symmetry. (English) Zbl 1520.14100

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 62-67 (2019).
MSC:  14M30 14L15 16T05
PDFBibTeX XMLCite

On certain Morita invariants involving commutator subspace and radical powers. (English) Zbl 1526.16010

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 57-61 (2019).
MSC:  16G10 16E40 16P10
PDFBibTeX XMLCite

Batalin Vilkovisky algebra structures on the Hochschild cohomology of self-injective Nakayama algebras. (English) Zbl 1527.16013

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 52-56 (2019).
MSC:  16E40 16G10 16L60
PDFBibTeX XMLCite

The defining relations of geometric algebras of Type EC. (English) Zbl 1527.16031

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 45-51 (2019).
MSC:  16S38 14A22
PDFBibTeX XMLCite

Auslander correspondence for triangulated categories. (English) Zbl 1527.16011

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 30-34 (2019).
MSC:  16E35 18G80 16G10
PDFBibTeX XMLCite

A geometric model of Brauer graph algebras. (English) Zbl 1527.16016

Mori, Izuru (ed.), Proceedings of the 51st symposium on ring theory and representation theory, Okayama University of Science, Okayama, Japan, September 19–22, 2018. Shizuoka: Symposium on Ring Theory and Representation Theory Organizing Committee. 1-5 (2019).
MSC:  16G10 05E18 57M15
PDFBibTeX XMLCite

Computing normalizers of tiled orders in \(M_n(k)\). (English) Zbl 1527.11057

Scheidler, Renate (ed.) et al., ANTS XIII. Proceedings of the thirteenth algorithmic number theory symposium, University of Wisconsin-Madison, WI, USA, July 16–20, 2018. Berkeley, CA: Mathematical Sciences Publishers (MSP). Open Book Ser. 2, 55-68 (2019).
MSC:  11H06 11S45 16H10
PDFBibTeX XMLCite
Full Text: DOI

Benchmarks for automata learning and conformance testing. (English) Zbl 1519.68122

Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 390-416 (2019).
MSC:  68Q45 68Q32 68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the expressiveness of joining and splitting. (English) Zbl 1519.68161

Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 326-355 (2019).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: DOI

Refining the safety-liveness classification of temporal properties according to monitorability. (English) Zbl 1519.68138

Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 218-234 (2019).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Interface automata for shared memory. (English) Zbl 1519.68118

Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 151-166 (2019).
MSC:  68Q45 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Logic meets algebra: compositional timing analysis for synchronous reactive multithreading. (English) Zbl 1519.68164

Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 45-67 (2019).
PDFBibTeX XMLCite
Full Text: DOI

An indecomposable representation and the complex vector space of holomorphic vector fields on a pseudo-Hermitian symmetric space. (English) Zbl 1519.32003

Adachi, Toshiaki (ed.) et al., Recent topics in differential geometry and its related fields. Proceedings of the 6th international colloquium on differential geometry and its related fields, Veliko Tarnovo, Bulgaria, September 4–8, 2018. Singapore: World Scientific. 139-148 (2019).
MSC:  32M15 53C35 32M25
PDFBibTeX XMLCite
Full Text: DOI

Boolean algebras from trace automata. (English) Zbl 07650345

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 48, 15 p. (2019).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Complexity of liveness in parameterized systems. (English) Zbl 1504.68141

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 37, 15 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Minimisation of models satisfying CTL formulas. (English) Zbl 1515.68174

Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 13, 15 p. (2019).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Privatization-safe transactional memories. (English) Zbl 1515.68097

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 24, 17 p. (2019).
MSC:  68N19 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Wait-free solvability of equality negation tasks. (English) Zbl 1515.68141

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 21, 16 p. (2019).
MSC:  68Q10 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Long-lived counters with polylogarithmic amortized step complexity. (English) Zbl 1515.68198

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 3, 16 p. (2019).
MSC:  68Q85 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects. (English) Zbl 1515.68096

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019).
MSC:  68N19 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software