×

Found 3,938 Documents (Results 1–100)

100
MathJax

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 375-403 (2021).
MSC:  68Q85 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 264-291 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Combining algebraic effect descriptions using the tensor of complete lattices. (English) Zbl 07516380

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 257-281 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Domain theoretic second-order Euler’s method for solving initial value problems. (English) Zbl 07516373

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 105-128 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

On multi-language abstraction. Towards a static analysis of multi-language programs. (English) Zbl 1474.68045

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 310-332 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 180-200 (2020).
MSC:  68Q65 18C50 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

A categorical approach to secure compilation. (English) Zbl 07314153

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 133-154 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Injective objects and fibered codensity liftings. (English) Zbl 07314151

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 112-132 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

De Finetti’s construction as a categorical limit. (English) Zbl 07314150

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 90-111 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Learning automata with side-effects. (English) Zbl 07314149

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 68-89 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Free-algebra functors from a coalgebraic perspective. (English) Zbl 07314148

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 55-67 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 32-54 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Approximate coalgebra homomorphisms and approximate solutions. (English) Zbl 07314146

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 11-31 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

The theory of universal graphs for games: past and future. (English) Zbl 07314145

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 1-10 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Implicit structural analysis of multimode DAE systems. (English) Zbl 07300861

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI Link

Refinement-based game semantics for certified abstraction layers. (English) Zbl 07299501

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 633-647 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. (English) Zbl 1454.68013

Lecture Notes in Computer Science 12094. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). xv, 201 p. (2020).
MSC:  68-06 68Q65 00B25
PDF BibTeX XML Cite
Full Text: DOI

On well-founded and recursive coalgebras. (English) Zbl 1455.18001

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards directed collapsibility (research). (English) Zbl 1440.55013

Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Term charters. (English) Zbl 1444.68085

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019).
MSC:  68P15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Completeness and incompleteness of synchronous Kleene algebra. (English) Zbl 1434.68311

Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 385-413 (2019).
MSC:  68Q70 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

The Parikh property for weighted context-free grammars. (English) Zbl 07561337

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 32, 20 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Graph pattern polynomials. (English) Zbl 07561323

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 18, 13 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Quasipolynomial hitting sets for circuits with restricted parse trees. (English) Zbl 07561311

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 6, 19 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Isotropy of algebraic theories. (English) Zbl 07517273

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 201-217 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies. (English) Zbl 07517270

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 23-44 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A stone-type duality theorem for separation logic via its underlying bunched logics. (English) Zbl 07513457

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 101-118 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Highlights of the Rice-Shapiro theorem in computable topology. (English) Zbl 1461.03039

Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 241-255 (2018).
PDF BibTeX XML Cite
Full Text: DOI

A wide-spectrum language for verification of programs on weak memory models. (English) Zbl 1460.68026

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 240-257 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A non-linear arithmetic procedure for control-command software verification. (English) Zbl 1423.68469

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 132-151 (2018).
PDF BibTeX XML Cite
Full Text: DOI HAL

Hierarchical specification and verification of architectural design patterns. (English) Zbl 1425.68272

Russo, Alessandra (ed.) et al., Fundamental approaches to software engineering. 21st international conference, FASE 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. 10802, 149-168 (2018).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI

Quasipolynomial set-based symbolic algorithms for parity games. (English) Zbl 1415.68142

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 233-253 (2018).
MSC:  68Q60 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Categorical Büchi and parity conditions via alternating fixed points of functors. (English) Zbl 06962939

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 214-234 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Fibrational bisimulations and quantitative reasoning. (English) Zbl 06962938

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 190-213 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract). (English) Zbl 06962937

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 167-189 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

On algebras with effectful iteration. (English) Zbl 06962936

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 144-166 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Steps and traces. (English) Zbl 06962935

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 122-143 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

(in)finite trace equivalence of probabilistic transition systems. (English) Zbl 06962934

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 100-121 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Long-term values in Markov decision processes, (co)algebraically. (English) Zbl 06962933

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 78-99 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Predicate liftings and functor presentations in coalgebraic expression languages. (English) Zbl 06962932

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 56-77 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Undecidability of equality for codata types. (English) Zbl 06962931

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs. (English) Zbl 06962930

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 13-33 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraic logics & duality. (English) Zbl 06962929

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 6-12 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Relating structure and power: comonadic semantics for computational resources (extended abstract). (English) Zbl 06962928

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 1-5 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Boosting the reuse of formal specifications. (English) Zbl 1452.68263

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 477-494 (2018).
MSC:  68V15 08A70 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. (English) Zbl 1396.68009

Lecture Notes in Computer Science 11202. Cham: Springer (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). ix, 235 p. (2018).
MSC:  68-06 68Q65 00B25
PDF BibTeX XML Cite
Full Text: DOI

Heterogeneous substitution systems revisited. (English) Zbl 1433.68220

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Graph operations and free graph algebras. (English) Zbl 1383.68049

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 313-331 (2018).
PDF BibTeX XML Cite
Full Text: DOI

On normal forms for structured specifications with generating constraints. (English) Zbl 1383.68051

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 266-284 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

The Verigraph system for graph transformation. (English) Zbl 1383.68041

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 160-178 (2018).
MSC:  68Q42 68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. (English) Zbl 1383.68042

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 1-18 (2018).
MSC:  68Q42 18A30 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Distributive laws for monotone specifications. (English) Zbl 1483.68182

Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83-97 (2017).
MSC:  68Q55 18C15 68Q65
PDF BibTeX XML Cite
Full Text: arXiv Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software