scientific article
From MaRDI portal
Publication:4038734
zbMath0765.68109MaRDI QIDQ4038734
Prateek Mishra, Alessandro Giacalone, Sanjiva Prasad
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstractionfunctional programmingconcurrent programmingobservationfunctional-concurrent languageswindow-parametrised equivalence
Related Items (15)
PiDuce- A project for experimenting web services technologies ⋮ From a concurrent λ-calculus to the π-calculus ⋮ Linear forwarders ⋮ Graph-grammar semantics of a higher-order programming language for distributed systems ⋮ Constraints for polymorphic behaviours of concurrent ML ⋮ Reasoning about higher-order processes ⋮ Static and dynamic processor allocation for higher-order concurrent languages ⋮ The fork calculus ⋮ Higher-order processes and their models ⋮ From CML to its process algebra ⋮ Causality for mobile processes ⋮ A behavioural theory of first-order CML ⋮ Names of the \(\pi\)-calculus agents handled locally ⋮ Assigning types to processes ⋮ Plain CHOCS. A second generation calculus for higher order processes
Uses Software
This page was built for publication:
