Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("pi calculo")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 223

  • Page / 9
Export

Selection :

  • and

D-fusion: A distinctive Fusion calculusBOREALE, Michele; BUSCEMI, Maria Grazia; MONTANARI, Ugo et al.Lecture notes in computer science. 2004, pp 296-310, issn 0302-9743, isbn 3-540-23724-0, 15 p.Conference Paper

On barbed equivalences in π-calculusSANGIORGI, Davide; WALKER, David.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-42497-0Conference Paper

On synchronous and asynchronous communication paradigmsCACCIAGRANO, Diletta; CORRADINI, Flavio.Lecture notes in computer science. 2001, pp 256-268, issn 0302-9743, isbn 3-540-42672-8Conference Paper

On the bisimulation congruence in X-calculusTAOLUO CHEN; TINGTING HAN; JIAN LU et al.Lecture notes in computer science. 2005, pp 128-139, issn 0302-9743, isbn 3-540-30495-9, 1Vol, 12 p.Conference Paper

A spatial logic for concurrency (Part I)CAIRES, Luis; CARDELLI, Luca.Lecture notes in computer science. 2001, pp 1-37, issn 0302-9743, isbn 3-540-42736-8Conference Paper

Linear forwardersGARDNERL, Philippa; LANEVE, Cosimo; WISCHIK, Lucian et al.Lecture notes in computer science. 2003, pp 415-430, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

Solo diagramsLANEVE, Cosimo; PARROW, Joachim; VICTOR, Björn et al.Lecture notes in computer science. 2001, pp 127-144, issn 0302-9743, isbn 3-540-42736-8Conference Paper

T-compound interaction and overhearing agentsPLATON, Eric; SABOURET, Nicolas; HONIDEN, Shinichi et al.Lecture notes in computer science. 2005, pp 90-105, issn 0302-9743, isbn 3-540-27330-1, 16 p.Conference Paper

A theory of bisimulation for a fragment of concurrent ML with local namesJEFFREY, Alan; RATHKE, Julian.Theoretical computer science. 2004, Vol 323, Num 1-3, pp 1-48, issn 0304-3975, 48 p.Article

On compositional reasoning in the Spi-calculusBOREALE, Michele; GORLA, Daniele.Lecture notes in computer science. 2002, pp 67-81, issn 0302-9743, isbn 3-540-43366-XConference Paper

The fusion machine (Extended abstract)GARDNER, Philippa; LANEVE, Cosimo; WISCHIK, Lucian et al.Lecture notes in computer science. 2002, pp 418-433, issn 0302-9743, isbn 3-540-44043-7, 16 p.Conference Paper

More on bisimulations for higher order π-calculusZINING CAO.Lecture notes in computer science. 2006, pp 63-78, issn 0302-9743, isbn 3-540-33045-3, 1Vol, 16 p.Conference Paper

On the representation of McCarthy's amb in the π-calculusCARAYOL, Arnaud; HIRSCHKOFF, Daniel; SANGIORGI, Davide et al.Theoretical computer science. 2005, Vol 330, Num 3, pp 439-473, issn 0304-3975, 35 p.Conference Paper

Strong bisimulation for the explicit fusion calculusWISCHIK, Lucian; GARDNER, Philippa.Lecture notes in computer science. 2004, pp 484-498, issn 0302-9743, isbn 3-540-21298-1, 15 p.Conference Paper

The early and late congruences for asymmetric λ¬=-calculusFARONG ZHONG.Lecture notes in computer science. 2004, pp 371-378, issn 0302-9743, isbn 3-540-24127-2, 8 p.Conference Paper

Semantic subtyping : Challenges, perspectives, and open problemsCASTAGNA, Giuseppe.Lecture notes in computer science. 2005, pp 1-20, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 20 p.Conference Paper

Typing aberrance in signal transductionZHANG, M; LI, G. Q; FU, Y. X et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28323-4, 3Vol, Part 3, 668-677Conference Paper

A uniform reduction equivalence for process calculiZINING CAO.Lecture notes in computer science. 2004, pp 179-195, issn 0302-9743, isbn 3-540-23724-0, 17 p.Conference Paper

Representation of the signal transduction with aberrance using Ipi calculusMIN ZHANG; GUOQIANG LI; YUXI FU et al.Lecture notes in computer science. 2004, pp 477-485, issn 0302-9743, isbn 3-540-24127-2, 9 p.Conference Paper

Useless-code elimination and program slicing for the Pi-calculusKOBAYASHI, Naoki.Lecture notes in computer science. 2003, pp 55-72, issn 0302-9743, isbn 3-540-20536-5, 18 p.Conference Paper

Primitives for authentication in process algebrasBODEI, Chiara; DEGANO, Pierpaolo; FOCARDI, Riccardo et al.Theoretical computer science. 2002, Vol 283, Num 2, pp 271-304, issn 0304-3975Article

Bigraphs as a model for mobile interactionMILNER, Robin.Lecture notes in computer science. 2002, pp 8-13, issn 0302-9743, isbn 3-540-44310-X, 6 p.Conference Paper

Constraints on hypercomputationMICHAELSOR, Greg; COCKSHOTT, Paul.Lecture notes in computer science. 2006, pp 378-387, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 10 p.Conference Paper

Study on equipment interoperation chain model in grid environmentYUEXUAN WANG; CHENG WU.Lecture notes in computer science. 2005, pp 588-595, issn 0302-9743, isbn 3-540-29769-3, 1Vol, 8 p.Conference Paper

Hiding names: Private authentication in the applied pi calculusFOURNET, Cédric; ABADI, Martin.Lecture notes in computer science. 2003, pp 317-338, issn 0302-9743, isbn 3-540-00708-3, 22 p.Conference Paper

  • Page / 9