A Concurrent Pattern Calculus

Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pattern matching to pattern unification, interaction becomes symmetrical, with information flowing in both directions. CPC...

Celý popis

Podrobná bibliografia

Vydané v:	arXiv.org
Hlavní autori:	Given-Wilson, Thomas, Gorla, Daniele, Barry, Jay
Médium:	Paper
Jazyk:	English
Vydavateľské údaje:	Ithaca Cornell University Library, arXiv.org 20.08.2014
Predmet:	Calculus Coding Data exchange Data structures Pattern matching
ISSN:	2331-8422
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!