Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kirstin Peters
On Distributability in Process Calculi
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Coinductive Interpreters for Process Calculi
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial on Separation Results in Process Calculi via Leader Election Problems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Sorted Semantic Framework for Applied Process Calculi
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Giant Calculi in Urethral Diverticula
CMAJ
Medicine
Urinary Calculi in Germfree Rats
Journal of Experimental Medicine
Medicine
Allergy
Immunology
Algebroids — General Differential Calculi on Vector Bundles
Journal of Geometry and Physics
Geometry
Mathematical Physics
Physics
Astronomy
Topology
Process Calculi May Reveal the Equivalence Lying at the Heart of RNA and Proteins
Scientific Reports
Multidisciplinary
