-
1Conference
Authors: Ugo Dal Lago, Maurizio Murgia
Contributors: Dal Lago, Ugo, Ugo Dal Lago and Maurizio Murgia
Subject Terms: Theory of computation → Process calculi, Behavioural metrics, Behavioural Metrics, Process Algebras, Differential Semantics, ddc:004, [INFO] Computer Science [cs], Theory of computation → Program reasoning, Differential Semantics, Labelled Transition Systems
File Description: application/pdf
Access URL: https://inria.hal.science/hal-04356984v1
https://inria.hal.science/hal-04356984v1/document
https://doi.org/10.4230/lipics.concur.2023.38
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.38
https://hdl.handle.net/11585/956427
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.38
https://doi.org/10.4230/lipics.concur.2023.38 -
2Conference
Authors: Vialard, Isa
Contributors: Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), ANR-17-CE40-0028,BRAVAS,IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS(2017)
Source: MFCS 2023 ; https://hal.science/hal-04287405 ; MFCS 2023, Aug 2023, Bordeaux, France. ⟨10.4230/LIPIcs⟩
Subject Terms: 2012 ACM Subject Classification Theory of computation → Complexity theory and logic, Theory of computation → Logic and verification, Theory of computation → Proof theory, Theory of computation → Program reasoning, finite multisets, termination, program verification, Well-partial order, [INFO]Computer Science [cs]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.09881; ARXIV: 2302.09881
-
3Academic Journal
Authors: Schmid, Todd, Różowski, Wojciech, Rot, Jurriaan, Silva, Alexandra
Contributors: Bojanczyk, M., Todd Schmid and Wojciech Różowski and Jurriaan Rot and Alexandra Silva, Bojańczyk, Mikołaj, Merelli, Emanuela, Woodruff, David P.
Source: Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20
Subject Terms: regular expressions, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Software Science, program semantics, ddc:004, 0101 mathematics, Theory of computation → Program reasoning, coalgebra, process algebra
File Description: application/pdf
-
4Academic Journal
Authors: Schmid, Todd, Kappé, Tobias, Kozen, Dexter, Silva, Alexandra
Contributors: Todd Schmid and Tobias Kappé and Dexter Kozen and Alexandra Silva, Bansal, Nikhil, Merelli, Emanuela, Worrell, James
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, program equivalence, coequations, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Kleene algebra, completeness, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Theory of computation → Program reasoning, Programming Languages (cs.PL)
File Description: application/pdf
-
5Academic Journal
Authors: Abate, Alessandro, Fahrenberg, Uli, Fränzle, Martin
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models
File Description: application/pdf