Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A new proposal of Concurrent Process Calculus? Salvador Lucas and Javier Oliver
 

Summary: 



A new proposal of Concurrent Process Calculus?



Salvador Lucas and Javier Oliver

Departamento de Sistemas Inform'aticos y Computaci'on
Universidad Polit'ecnica de Valencia
Camino de Vera s/n, Apdo. 22012, 46020 Valencia, Spain.
e.mail:{slucas,joliver}@dsic.upv.es



Abstract.In this paper, we present a new calculus to model concurrent
systems, the Parallel Label-Selective ~-calculus. This calculus integrates
the (functional) expressiveness of the ~-calculus in a unified framework

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences