The Applied Pi Calculus

Journal of the ACM - United States
doi 10.1145/3127586
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

Just Fast Keying in the Pi Calculus

ACM Transactions on Information and System Security
QualityReliabilitySafetyComputer ScienceRisk
2007English

Set-Pi: Set Membership P-Calculus

2015English

Towards Gradually Typed Capabilities in the Pi-Calculus

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2019English

Book Review: Applied Calculus

Bulletin of the American Mathematical Society
1922English

Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus With Proverif

Information Technology Journal
2011English

Static vs Dynamic Typing for Access Control in Pi-Calculus

English

Decentralized Pi-D Controller Applied to an Aerothermic Process

International Journal on Smart Sensing and Intelligent Systems
ControlSystems EngineeringElectricalElectronic Engineering
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy