Searching for authors named "Carlos Caleiro" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
On The Relationship Between Operational And Denotational Semantics Of Temporal Logic Specification Of Object Behaviour
- … OF OBJECT BEHAVIOUR y Carlos Caleiro x Departamento de Matem'atica, Instituto Superior T'ecnico Av…
- Cited by 5 (3 self) – Add To MetaCart
-
Cryptomorphisms at Work
- …Cryptomorphisms at Work ? Carlos Caleiro and Jaime Ramos CLC - Departamento de Matematica, IST…
- Cited by 3 (2 self) – Add To MetaCart
-
Specifying Communication in Distributed Information Systems
- … Caleiro 2 1 Abteilung Datenbanken, Technische Universitat Postfach 3329, D-38023 Braunschweig, Germany…
- Cited by 11 (6 self) – Add To MetaCart
-
On the algebraization of many-sorted logics
- …On the algebraization of many-sorted logics ⋆ Carlos Caleiro and Ricardo Gonçalves CLC and SQIG…
- Cited by 1 (1 self) – Add To MetaCart
-
From fibring to cryptofibring. A solution to the collapsing problem
- …From Fibring to Cryptofibring, A Solution to The Collapsing Problem Carlos Caleiro and Jaime Ramos…
- Cited by 4 (1 self) – Add To MetaCart
-
Behavioral algebraization of da Costa’s C-systems
- …Behavioral algebraization of da Costa’s C-systems Carlos Caleiro — Ricardo Gonçalves SQIG…
- Add To MetaCart
-
An algebraic perspective on valuation semantics ∗
- …An algebraic perspective on valuation semantics ∗ Carlos Caleiro Ricardo Gonçalves CLC and SQIG…
- Add To MetaCart
-
Metareasoning about Security Protocols using Distributed Temporal Logic
- …Metareasoning about Security Protocols using Distributed Temporal Logic Carlos Caleiro 1 CLC…
- Cited by 9 (6 self) – Add To MetaCart
-
Towards a Metalogic for Security Protocol Analysis (Extended Abstract)
- … Caleiro 1 Luca Viganò 2 David Basin 2 1 CLC, Department of Mathematics, IST, Lisbon, Portugal cs…
- Cited by 3 (1 self) – Add To MetaCart
-
A Linear Temporal Logic Approach to Objects with Transactions
- … , Carlos Caleiro 2 , and Am'ilcar Sernadas 2 1 Technische Universitat Braunschweig, Informatik, Abt…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
