Zmiana języka

Projects search

Modular operational semantics: a bialgebraic approach

2012/07/E/ST6/03026

Keywords

Descriptors

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel

ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Voivodeship: mazowieckie

Other projects carried out by the institution »

Principal investigator (from the host institution)

dr hab. Bartosz Klin

Number of co-investigators in the project: 4

Call

SONATA BIS 2 – announced on 2012-09-15

Amount awarded
630 000 PLN
Project start date
2013-07-11
Project end date
2018-05-10
Project duration
58 months (the same as in the proposal)
Project status
Project settled

Equipment purchased [PL]

  1. Komputer przenośny. Cost: 6 000 PLN

Information in the final report

Publication in academic press/journals (4)

  1. Expressiveness of probabilistic modal logics: a gradual approach

    Authors:
    Florence Clerc, Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Academic press:
    Information and Computation (year: 2019, volume: 267, pages: 145-163), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ic.2019.04.002 – link to the publication

  2. Some undecidable properties of SOS specifications

    Authors:
    Bartek Klin, Beata Nachyła
    Academic press:
    Journal of Logical and Algebraic Methods in Programming (year: 2017, volume: 87, pages: 94-109), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jlamp.2016.08.005 – link to the publication

  3. Coalgebraic trace semantics via forgetful logic

    Authors:
    Bartek Klin, Jurriaan Rot
    Academic press:
    Logical Methods in Computer Science (year: 2016, volume: 12(4), pages: 0,173611111111111), Publisher: Logical Methods in Computer Science e.V
    Status:
    Published
    DOI:
    10.2168/LMCS-12(4:10)2016 – link to the publication

  4. Scalar and vectorial μ-calculus with atoms

    Authors:
    Bartek Klin, Mateusz Łełyk
    Academic press:
    Logical Methods in Computer Science (year: 2019, volume: 15(4), pages: 5:1-5:47), Publisher: Logical Methods in Computer Science e.V.
    Status:
    Published
    DOI:
    10.23638/LMCS-15(4:5)2019 – link to the publication

Articles in post-conference publications (7)

  1. Distributive laws and decidable properties of SOS specifications

    Authors:
    Bartek Klin, Beata Nachyła
    Conference:
    EXPRESS/SOS'14 (Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics) (year: 2014, pages: 79-93), Publisher: Electronic Proceedings in Theoretical Computer Science
    Date:
    conference 1 września 2014
    Status:
    Published
    DOI:
    link to the publication

  2. Coalgebraic trace semantics via forgetful logic

    Authors:
    Bartek Klin, Jurriaan Rot
    Conference:
    FOSSACS'15: 18th International Conference on Foundations of Software Science and Computation Structures (year: 2015, pages: 151-166), Publisher: Springer
    Date:
    conference 11-18 kwietnia 2015 r.
    Status:
    Published

  3. Learning Nominal Automata

    Authors:
    Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
    Conference:
    44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) (year: 2017, pages: 613-625), Publisher: ACM
    Date:
    conference 15-21 stycznia
    Status:
    Published
    DOI:
    link to the publication

  4. A completeness result for finite λ-bisimulations

    Authors:
    Joost Winter
    Conference:
    FOSSACS'15: 18th International Conference on Foundations of Software Science and Computation Structures (year: 2015, pages: 117-132), Publisher: Springer
    Date:
    conference 11-18 kwietnia 2015 r.
    Status:
    Published

  5. Product Rules and Distributive Laws

    Authors:
    Joost Winter
    Conference:
    13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) (year: 2016, pages: 114-135), Publisher: Springer
    Date:
    conference 2-3 kwietnia 2016 r.
    Status:
    Published

  6. Expressiveness of Probabilistic Modal Logic, Revisited

    Authors:
    Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Conference:
    44th International Colloquium on Automata, Languages, and Programming (ICALP) (year: 2017, pages: 30:1-30:21), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Date:
    conference 10-14 lipca
    Status:
    Published

  7. Presenting morphisms of distributive laws

    Authors:
    Bartek Klin, Beata Nachyła
    Conference:
    6th Conference on Algebra and Coalgebra in Computer Science (CALCO'15) (year: 2015, pages: 190-204), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Date:
    conference 24-26 czerwca 2015
    Status:
    Published
    DOI:
    link to the publication

« New search

Graphic design and implementation: Jakub Piotrowski