Generic Trace Semantics via Coinduction

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-3(4:11)2007
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Semantics-Aware Trace Analysis

ACM SIGPLAN Notices
Computer Science
2009English

Handling Message Semantics With Generic Broadcast Protocols

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2002English

Generic Gateaux Differentiability via Smooth Perturbations

Bulletin of the Australian Mathematical Society
Mathematics
1997English

Hacking Nondeterminism With Induction and Coinduction

Communications of the ACM
Computer Science
2015English

Trace Ethylene Sensing via Wacker Oxidation

ACS Central Science
ChemistryChemical Engineering
2020English

Indexed Induction and Coinduction, Fibrationally

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Explicit Descriptions of Trace Rings of Generic 2 by 2 Matrices

Nagoya Mathematical Journal
Mathematics
1991English

Embedding Syntax and Semantics of Prepositions via Tensor Decomposition

2018English

Generic Pattern Mining via Data Mining Template Library

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy