106 articles – 48 references  [version française]
.:. Browse > List by date > 2003 .:.
6 documents ordered by :
The receptive distributed pi-calculus
Amadio R., Boudol G., Lhoussaine C.
ACM Transactions on Programming Languages and Systems 25, 5 (2003) 549-577 [hal-00147008 - version 1]
CONCUR 2003 - Concurrency Theory, 14th International Conference
Amadio R., Lugiez D.
(2003) 512 [hal-00146995 - version 1]
fulltext access Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees
Colmerauer A., Dao T.-B.-H.
Constraints 8, 3 (2003) 283-302 [hal-00144931 - version 1]
Max-Plus Quasi-interpretations.
Amadio R.
In Typed Lambda Calculi and Applications - (2003) [hal-00146999 - version 1]
On the symbolic reduction of processes with cryptographic functions
Amadio R., Lugiez D., Vanackere V.
Journal of Theoretical Computer Science (TCS) 290 (2003) 695-740 [hal-00147013 - version 1]
fulltext accessible on an other server Logical Construction of Final Coalgebras
Santocanale L.
Electronic Notes in Theoretical Computer Science, Poland (2003) [hal-00111230 - version 1]