Communicating sequential processes
Communicating sequential processes
Full abstraction for sequential algorithms: the state of the art
Algebraic methods in semantics
Structure and interpretation of computer programs
Structure and interpretation of computer programs
On reduction-based process semantics
Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
Pi-calculus, dialogue games and full abstraction PCF
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
Communication and Concurrency
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
An Investigation into Functions as Processes
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Internal Mobility and Agent-Passing Calculi
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Internal Mobility and Agent-Passing Calculi
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Causality for Mobile Processes
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Mathematical Structures in Computer Science
Strong normalisation in the π-calculus
Information and Computation
LICS '08 Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science
Semantically linear programming languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Information and Computation
Sequentiality and the π-calculus
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Linearity and PCF: a semantic insight!
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |
We use lin Proc (i.e. a typed process calculus based on the calculus of solos) in order to express computational processes generated by Sl PCF***, namely a simple programming language conceived in order to program only linear functions. We define a faithful translation of Sl PCF*** on lin Proc which enables us to process redexes of Sl PCF*** in a parallel way. Afterward, we prove that a suitable observational equivalence between processes is correct w.r.t the operational semantics of Sl PCF***, via our interpretation.