the proceedings contain 19 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: Fair Quantitative Games;model-Checking Real-Time Systems: R...
ISBN:
(纸本)9783031908965
the proceedings contain 19 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: Fair Quantitative Games;model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route;two-sorted algebraic decompositions of Brookes’s shared-state denotational semantics;idempotent Resources in Separation Logic: the Heart of core in Iris;a Behavioural Pseudometric for Continuous-Time Markov Processes;complementation of Emerson-Lei Automata;alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets;context-Free Languages of String Diagrams;relational Connectors and Heterogeneous Simulations;on the cut-elimination of the modal μ-calculus: Linear Logic to the rescue;combining quantum and classical control: syntax, semantics and adequacy;BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs;sharing and Linear Logic with Restricted Access;a General Completeness theorem for Skip-Free Star Algebras;complete Test Suites for Automata in Monoidal Closed Categories;temporal Hyperproperties for Population Protocols;preface;ETAPS Foreword.
the proceedings contain 12 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: From Rewrite Rules to Axioms in the λΠ-Calculus Modulo th...
ISBN:
(纸本)9783031572302
the proceedings contain 12 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: From Rewrite Rules to Axioms in the λΠ-Calculus Modulo theory;light Genericity;logical Predicates in Higher-Order Mathematical Operational Semantics;on Basic Feasible Functionals and the Interpretation Method;Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems;A Resolution-Based Interactive Proof System for UNSAT;craig Interpolation for Decidable First-Order Fragments;clones, closed categories, and combinatory logic;Reachability in Fixed VASS: Expressiveness and Lower Bounds;from Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting;dimension-Minimality and Primality of Counter Nets.
the proceedings contain 12 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: From Rewrite Rules to Axioms in the λΠ-Calculus Modulo th...
ISBN:
(纸本)9783031572272
the proceedings contain 12 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: From Rewrite Rules to Axioms in the λΠ-Calculus Modulo theory;light Genericity;logical Predicates in Higher-Order Mathematical Operational Semantics;on Basic Feasible Functionals and the Interpretation Method;Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems;A Resolution-Based Interactive Proof System for UNSAT;craig Interpolation for Decidable First-Order Fragments;clones, closed categories, and combinatory logic;Reachability in Fixed VASS: Expressiveness and Lower Bounds;from Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting;dimension-Minimality and Primality of Counter Nets.
the proceedings contain 27 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: Secrecy types for asymmetric communication;type isomorphism...
ISBN:
(纸本)3540418644
the proceedings contain 27 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: Secrecy types for asymmetric communication;type isomorphisms and proof reuse in dependent type theory;on the duality between observability and reachability;the finite graph problem for two-way alternating automata;high-level Petri nets as type theories in the join calculus;temporary data in shared dataspace coordination languages;the complexity of model checking mobile ambients;synchronized tree languages revisited and new applications;computational completeness of programming languages based on graph transformation;class analysis of object-oriented programs through abstract interpretation;foundations for a graph-based approach to the specification of access control policies;categories of processes enriched in final coalgebras;on regular message sequence chart languages and relationships to mazurkiewicz trace theory;decidability of weak bisimilarity for a subset of basic parallel processes;an axiomatic semantics for the synchronous language gentzen and MARRELLA and the verification of an embedded system.
the proceedings contain 23 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: A new criterion for M, N -adhesivity, with an application t...
ISBN:
(纸本)9783030992521
the proceedings contain 23 papers. the special focus in this conference is on foundations of softwarescience and computationstructures. the topics include: A new criterion for M, N -adhesivity, with an application to hierarchical graphs;quantifier elimination for counting extensions of Presburger arithmetic;a first-order logic characterisation of safety and co-safety languages;first-order separation over countable ordinals;a Faithful and Quantitative Notion of Distant Reduction for Generalized Applications;modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy;temporal Stream Logic modulo theories;the Different Shades of Infinite Session Types;complete and tractable machine-independent characterizations of second-order polytime;limits and difficulties in the design of under-approximation abstract domains;variable binding and substitution for (nameless) dummies;uniform Guarded Fragments;sweedler theory of Monads;model Checking Temporal Properties of Recursive Probabilistic Programs;on probability-raising causality in Markov decision processes;parameterized Analysis of Reconfigurable Broadcast Networks;separators in Continuous Petri Nets;graphical Piecewise-Linear Algebra;token Games and History-Deterministic Quantitative Automata;on the Translation of Automata to Linear Temporal Logic.
the proceedings contain 29 papers. the topics discussed include: a theory for observational fault tolerance;smooth orchestrators;on the relative expressive power of asynchronous communication primitives;more on bisimu...
详细信息
ISBN:
(纸本)3540330453
the proceedings contain 29 papers. the topics discussed include: a theory for observational fault tolerance;smooth orchestrators;on the relative expressive power of asynchronous communication primitives;more on bisimulations for higher order π-calculus;register allocation after classical SSA elimination is NP complete;a logic of reachable patterns in linked data structures;dynamic policy discovery with remote attestation;distributed unfolding of Petri nets;a finite model construction for coalgebric modal logic;presenting functors by operations and equations;bigraphical models of context - aware systems;processes for adhesive rewriting systems;on metric temporal logic and faulty turing machines;and denotational semantics of hybrid automata.
暂无评论