92 search results - page 3 / 19 » Towards an Algebraic Theory of Typed Mobile Processes |
CONCUR
2009
Springer
14 years 25 days ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
ENTCS
2002
13 years 6 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
FMSD
2006
13 years 6 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
CALCO
2005
Springer
13 years 11 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...