Implementing Spi Calculus Using Nominal Techniques

doi 10.1007/978-3-540-69407-6_33
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Formalising the Π-Calculus Using Nominal Logic

English

Implementing the Model Evolution Calculus

International Journal on Artificial Intelligence Tools
Artificial Intelligence
2006English

Implementing the Π-Calculus in Java.

Journal of Object Technology
Software
2005English

An Improved Reductant Calculus Using Fuzzy Partial Evaluation Techniques

Fuzzy Sets and Systems
Artificial IntelligenceLogic
2009English

Permissive Nominal Terms and Their Unification: An Infinite, Co-Infinite Approach to Nominal Techniques

Logic Journal of the IGPL
Philosophy
2010English

Finite Element Exterior Calculus, Homological Techniques, and Applications

Acta Numerica
MathematicsNumerical Analysis
2006English

Calculus Demonstrations Using MATLAB

International Journal of Mathematical Education in Science and Technology
MathematicsApplied MathematicsEducation
2002English

Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Flipping Calculus Using Mobile Technology

US-China Education Review A
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy