Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Time anterior : | ACASA |
- P. Caspi, M. Pouzet : “A Co-iterative Characterization of Synchronous Stream Functions”, Workshop on Coalgebraic Methods in Computer Science (CMCS'98), vol. 11, Electronic Notes in Theoretical Computer Science, Lisbon, Portugal, pp. 1-21, (Elsevier) [Caspi 1998]
- Th. Hardin, B. Mammass : “Proving the Bounded Retransmission Protocol in the Pi-calculus”, INFINITY'98 - 3rd International Workshop on Verification of Infinite State Systems, Aalborg, Denmark, pp. 68-80 [Hardin 1998a]
- L. Moreau, Ch. Queinnec : “Distributed Computations Driven by Resource Consumption”, ICCL 98 - IEEE International Conference on Computer Languages, Chicago, IL, United States, pp. 68-77, (IEEE) [Moreau 1998]
- B. Pagano : “An explicit natural deduction”, Workshop on Explicit substitutions : Theory and Applications to Programs and Proofs, Tsukuba, Japan [Pagano 1998a]
- B. Pagano : “X.R.S : explicit Reduction Systems, a first-order calculus for higher-order calculi”, Conference on Automated Deduction (CADE), vol. 1421, Lecture Notes in Computer Science, Lindau, Germany, pp. 72-87, (Springer) [Pagano 1998b]