Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Deconfined Global Types for Asynchronous Sessions
Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Published in Logical methods in computer science (01.01.2023)
Published in Logical methods in computer science (01.01.2023)
Get full text
Journal Article
Loading…
Degrees of extensionality in the theory of B\"ohm trees and Sall\'e's conjecture
Intrigila, Benedetto, Manzonetto, Giulio, Polonsky, Andrew
Published in Logical methods in computer science (29.01.2019)
Published in Logical methods in computer science (29.01.2019)
Get full text
Journal Article
Loading…
Loading…
Loading…
Java & Lambda: a Featherweight Story
Bettini, Lorenzo, Bono, Viviana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Venneri, Betti
Published in Logical methods in computer science (05.09.2018)
Published in Logical methods in computer science (05.09.2018)
Get full text
Journal Article
Loading…
The Big-O Problem
Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S., Purser, David
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Loading…
Specification and Verification of Timing Properties in Interoperable Medical Systems
Zarneshan, Mahsa, Ghassemi, Fatemeh, Khamespanah, Ehsan, Sirjani, Marjan, Hatcliff, John
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Multiplicative Rewards in Markovian Models
Baier, Christel, Chatterjee, Krishnendu, Meggendorfer, Tobias, Piribauer, Jakob
Year of Publication 23.06.2025
Year of Publication 23.06.2025
Get full text
Journal Article
Loading…
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
Gerlach, Lina, Winkler, Tobias, Ábrahám, Erika, Bonakdarpour, Borzoo, Junges, Sebastian
Year of Publication 22.05.2025
Year of Publication 22.05.2025
Get full text
Journal Article
Loading…
Testing Uniform Random Samplers: Methods, Datasets and Protocols
Zeyen, Olivier, Cordy, Maxime, Gubri, Martin, Perrouin, Gilles, Acher, Mathieu
Year of Publication 18.03.2025
Year of Publication 18.03.2025
Get full text
Journal Article
Loading…
Loading…
Loading…
Intersection Types for the lambda-mu Calculus
van Bakel, Steffen, Barbanera, Franco, de'Liguoro, Ugo
Published in Logical methods in computer science (01.01.2018)
Published in Logical methods in computer science (01.01.2018)
Get full text
Journal Article