People - NOVA LINCS NOVA LINCS

Login

People

Publications Projects Graduations Prototypes Seminars

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Published in 01-07-2005

Authors

Luis Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung

A noninterleaving model of concurrency based on transition systems with spatial structure

Published in 01/01/2004

Authors

Observation systems

Published in 01/01/2000

Authors

Semantic domains based on sets with families of equivalences

Published in 01/01/1998

Authors

Entailment-Based Actions for Coordination

Published in 01/01/1998

Authors

Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics

Published in 01/01/1996

Authors

Jean-Marie Jacquet, Luís Monteiro

A language for contextual logic programming

Published in 01/01/1993

Authors

Syntactic and semantic inheritance in logic programming

Published in 01/01/1992

Authors

A proposal for distributed programming in logic

Published in 01/01/1984

Authors