doc/Joinable
author Tony Garnock-Jones <tonygarnockjones@gmail.com>
Wed, 16 Jan 2019 17:15:58 +0000
changeset 438 1fe179d53161
parent 0 ea4e1a00864c
permissions -rw-r--r--
Add missing primitive implementation for the plain interpreter.

---------------------------------------------------------------------------
processes P,Q,R:
	x<M>		asynchronous message
	def D in P	local definition
	P | Q		parallel composition
	0		inert process

definitions D:
	J -> P		reaction rule
	D ^ D'		composition
	top		void definition

join patterns J:
	x<M>		message pattern
	J | J'		synchronization

Figure 1. Syntax for the core join calculus
---------------------------------------------------------------------------


And now we hack on it:


processes P,Q,R:
	x<M>		asynchronous message
	def D in P	local definition
	P | Q		parallel composition
	0		inert process

definitions D:
	J -> P		reaction rule
	D ^ D'		composition
	top		void definition

join patterns J:
	x<M>		message pattern
	J | J'		synchronization