On Distributability in Process Calculi

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37036-6_18
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Coinductive Interpreters for Process Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Tutorial on Separation Results in Process Calculi via Leader Election Problems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

A Sorted Semantic Framework for Applied Process Calculi

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

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

Giant Calculi in Urethral Diverticula

CMAJ
Medicine
2008English

Urinary Calculi in Germfree Rats

Journal of Experimental Medicine
MedicineAllergyImmunology
1962English

Algebroids — General Differential Calculi on Vector Bundles

Journal of Geometry and Physics
GeometryMathematical PhysicsPhysicsAstronomyTopology
1999English

Process Calculi May Reveal the Equivalence Lying at the Heart of RNA and Proteins

Scientific Reports
Multidisciplinary
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy