Searching for authors named "Dusko Pavlovic" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Guarded Induction on Final Coalgebras
- …://www.elsevier.nl/locate/entcs/volume11.html 18 pages Guarded induction on final coalgebras Dusko Pavlovi'c 1 COGS, University of Sussex…
- Add To MetaCart
-
A categorical setting for the 4-Colour Theorem
- …A categorical setting for the 4-Colour Theorem Dusko Pavlovi'c Department of Mathematics…
- Add To MetaCart
-
Towards Semantics of Guarded Induction
- …Towards semantics of guarded induction D. Pavlovi'c Kestrel Institute, Palo Alto E-mail: dusko…
- Add To MetaCart
-
Semantics of First Order Parametric Specifications
- …Semantics of first order parametric specifications Dusko Pavlovi'c Kestrel Institute, Palo Alto…
- Add To MetaCart
-
Categorical Logic of Names and Abstraction in Action Calculi
- … Press Categorical logic of names and abstraction in action calculi Dusko Pav l ov i 'c y COGS…
- Cited by 16 (6 self) – Add To MetaCart
-
Towards Semantics of Self-Adaptive Software
- …Towards semantics of self-adaptive software Dusko Pavlovic Kestrel Institute, Palo Alto, USA…
- Cited by 4 (0 self) – Add To MetaCart
-
Chu I: cofree equivalences, dualities and *-autonomous categories
- … Press Chu I: cofree equivalences, dualities and -autonomous categories Dusko Pavlovi'c y Department…
- Cited by 4 (1 self) – Add To MetaCart
-
Maps II: Chasing Diagrams in Categorical Proof Theory
- …In categorical proof theory, propositions and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist paradigms of propositions-as-types and proofs-as-constructions, which lie in the foundation of computational logic. Moreover, in the categorical setting,…
- Cited by 5 (2 self) – Add To MetaCart
-
Convenient Category of Processes and Simulations I: Modulo Strong Bisimilarity
- …Convenient Category of Processes and Simulations I: Modulo Strong Bisimilarity Dusko Pavlovi'c…
- Cited by 1 (1 self) – Add To MetaCart
-
unknown title
- … A compositional logic for protocol correctness \Lambda Nancy Durgin John Mitchell Dusko…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
