Abstract | ||
---|---|---|
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-lock communication mechanism typically adopted by process calculi is partially relaxed in favour of a paradigm driven by a (parametric) notion of compatibility of interaction types. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.jlap.2007.09.001 | The Journal of Logic and Algebraic Programming |
Keywords | Field | DocType |
immune system,process calculi,information technology,web service | Embedding,Programming language,Compatibility (mechanics),Computer science,Information technology,Theoretical computer science,Parametric statistics,Formalism (philosophy),Web service,Process calculus | Journal |
Volume | Issue | ISSN |
75 | 2 | 1567-8326 |
Citations | PageRank | References |
5 | 0.55 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Davide Prandi | 1 | 136 | 9.00 |
Corrado Priami | 2 | 1615 | 148.58 |
Paola Quaglia | 3 | 356 | 27.06 |