On the Relative Expressiveness of Higher-Order Session Processes

Information and Computation - United States
doi 10.1016/j.ic.2019.06.002
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Expressiveness and Complexity of Order Dependencies

Proceedings of the VLDB Endowment
Computer Science
2013English

Higher-Order Corrections on Diboson Production Processes With MATRIX

2018English

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

On Projecting Processes Into Session Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2012English

Higher-Order Processes, Functions, and Sessions: A Monadic Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Fully Abstract Denotational Model for Higher-Order Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

On the Reciprocal Sums of Higher-Order Sequences

Advances in Difference Equations
Applied MathematicsNumber TheoryAnalysisAlgebra
2013English

Mechanisms Underlying Higher Order Interactions: From Quantitative Definitions to Ecological Processes

2019English

Higher Order Asymptotic Theory for Discriminant Analysis in Gaussian Stationary Processes

JOURNAL OF THE JAPAN STATISTICAL SOCIETY
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy