Coinductive Interpreters for Process Calculi

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45788-7_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Sorted Semantic Framework for Applied Process Calculi

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

On Distributability in Process Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Coinductive Algorithms for Büchi Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2011English

Interpreters’ Identities: An Exploratory Study of Vietnamese Interpreters in Vietnam

TranscUlturAl: A Journal of Translation and Cultural Studies
2009English

Complete Coinductive Theories. I

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1990English

Selection Tests for Trainee Conference Interpreters

Meta
LinguisticsPhilosophyLanguage
2002English

Well-Definedness and Observational Equivalence for Inductive–coinductive Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy