Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Luis Caires (publications)
[go: Go Back, main page]

Selected publications by Luis Caires

A few recent

The Conversation Calculus: A Model of Service Oriented Computation in ESOP'08 (with Hugo T. Vieira and J. Seco).

Logical Semantics of Types for Concurrency in CALCO'07.

Spatial-Behavioral Types, Distributed Services, and Resources in TGC'06.

Extensionality of Spatial Observations in Distributed Systems in EXPRESS'06 (with Hugo T. Vieira).

Concurrency models and logics

Logical Semantics of Types for Concurrency

Luís Caires.
in CALCO'07 Proceedings (Springer-Verlag, Lecture Notes in Computer Science).
Preprint available in pdf format.

Spatial-Behavioral Types, Distributed Services, and Resources

Luís Caires.
To appear in TGC'2006 Proceedings (Springer-Verlag, Lecture Notes in Computer Science).
Preprint available in pdf format.

Extensionality of Spatial Observations in Distributed Systems

Luís Caires and Hugo T. Vieira.
To appear in EXPRESS'2006 Proceedings (ENTCS).
Preprint available in pdf format. Full version with proofs here.

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

Luís Caires and Etiénne Lozes.
Theoretical Computer Science, Vol 358/2, 2006, Elsevier.
Preprint available in compressed postscript format.

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

Luís Caires and Etiénne Lozes.
Appears in CONCUR'2004 Proceedings, #3170 of Lecture Notes in Computer Science, Springer-Verlag, 2004
Preprint available in compressed postscript format.

Behavioral and Spatial Observations in a Logic for the Pi-Calculus

Luís Caires.
Appears in ETAPS.FOSSACS'2004 Proceedings, #2987 of Lecture Notes in Computer Science, Springer-Verlag, 2004.
Preprint available in compressed postscript format.

A Spatial Logic for Concurrency (Part II)

Luís Caires and Luca Cardelli.
Appears in Theoretical Computer Science, Vol 322/3, 2004, Elsevier.
Preprint available in compressed postscript format.

A Spatial Logic for Concurrency (Part II)

Luís Caires and Luca Cardelli.
Appears in CONCUR'2002 Proceedings, #2421 of Lecture Notes in Computer Science, Springer-Verlag, 2002.
Available in compressed postscript format.

A Spatial Logic for Concurrency (Part I)

Luís Caires and Luca Cardelli.
Appears in Journal of Information and Computation 186(2), 2003, Elsevier.
Preprint available in compressed postscript format.

A Spatial Logic for Concurrency (Part I)

Luís Caires and Luca Cardelli.
Appears in TACS 2001 Proceedings, Lecture Notes in Computer Science, Springer-Verlag, 2001.
Available in compressed postscript format

A Specification Logic for Mobility

Luís Caires.
DI/FCT/UNL Technical Report 4/2000.
Available in compressed postscript format.

A Model for Declarative Programming and Specification with Concurrency and Mobility PhD Thesis

Specifying Dynamic Object Systems

Luís Caires and Luís Monteiro.
DI/FCT/UNL Technical Report 10/98.
Available in compressed postscript format.
(superseded by "A Specification Logic for Mobility" above).

Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi

Luís Caires and Luís Monteiro.
Appeareds in the ETAPS/ESOP98 proceedings. #1381 of Lecture Notes in Computer Science, Springer-Verlag 1998.
Available in compressed postscript format.

Lpi encodings of choices, exceptions and first-class events

Luís Caires.
DI/FCT/UNL Technical Report 8/98.
Available in compressed postscript format.

Proof Net Semantics of Proof Search Computation

Luís Caires and Luís Monteiro.
Appeared in the ALP'97 proceedings. #1298 of Lecture Notes in Computer Science, Springer-Verlag 1997.
Available in compressed postscript format.

A Language for the Logical Specification of Processes and Relations

Luís Caires and Luís Monteiro.
Appeared in the ALP'96 proceedings. #1139 of Lecture Notes in Computer Science, Springer-Verlag 1996.
Available in compressed postscript format.

A Language for Executable Logical Specification of Processes and Relations

Luís Caires.
DI/FCT/UNL Technical Report 6/96.
Extended version of paper above.
Available in compressed postscript format (173403 bytes).

Programming Languages

The Conversation Calculus: A Model of Service Oriented Computation

Hugo T. Vieira, Luis Caires and João C. Seco.
to appear in ESOP'2008 Proceedings (Springer-Verlag, Lecture Notes in Computer Science).
Preprint available in pdf format.
Long Version with proofs (TR DIFCTUNL 6/07).

Types for Dynamic Reconfiguration

João Seco and Luís Caires.
To appear in ESOP'2006 Proceedings. Lecture Notes in Computer Science, Springer Verlag, 2006.
Preprint availaible in pdf format.

Subtyping First-Class Polymorphic Components

João Seco and Luís Caires.
ESOP'2005 Proceedings. #3444 of Lecture Notes in Computer Science, Springer Verlag, 2005.
Preprint availaible in pdf format.

A Basic Model of Typed Components

João Seco and Luís Caires.
Appeared in ECOOP'2000 Proceedings. #1850 of Lecture Notes in Computer Science, Springer-Verlag 2000.
Available in compressed postscript format.

A Basic Model of Typed Components

João Seco and Luís Caires.
Extended Version of the ECOOP'2000 paper above. DI/FCT/UNL Technical Report 1/2000.
Available in compressed postscript format.

Parametric Typed Components

Joăo Seco and Luís Caires.
WCOP'2000 Proceedings.
Available in compressed postscript format.

Logic programming and Unification

Unificação de Ordem Superior Polimórfica para a Programação em Lógica
Master Thesis, February 1995

Higher-Order Polymorphic Unification for Logic Programming

Luís Caires and Luís Monteiro.
Appeared in ICLP'94 Proceedings, MIT Press, 1994.

SLWV - A Theorem Prover for Logic Programming

Luis Moniz Pereira, Luís Caires and José Alferes.
Appeared in ELP'92 Proceedings. #660 of Lecture Notes in Artificial Intelligence 660, Spriger-Verlag.

Classical Negation in Logic Programs

Luis Moniz Pereira, Luís Caires and José Alferes.
Appeared in the Proceedings of the Brazilian Symposium of Artificial Inteligence, 1990.

Towards Distributed Tools for Heterogeneous Logic Programming Environments

José Alegria and Artur Dias and Luís Caires.
Appeared in ICLP'90 Proceedings, MIT Press, 1990.