Searching for ""Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

510,229 documents found, showing 1 through 10. Next 10 →

Proof, Language, and Interaction: Essays in Honour of Robin Milner
by Edited By Plotkin, C. Stirling, M. Tofte, Riccardo Pucella
…Review of Proof, Language, and Interaction: Essays in Honour of Robin Milner edited by G. Plotkin…
Add To MetaCart

Overview of Milner’s work
by Riccardo Pucella — 2001
…), Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000, 722pp, ISBN…
Add To MetaCart

An introduction to milner’s ccs
by Luca Aceto, Kim G. Larsen, Anna Ingólfsdóttir — 2004
… like to have computer support for our verification tasks. This means that all the models and languages…
Cited by 1 (0 self) – Add To MetaCart

Logic, Language and Reasoning - Essays in Honour of Dov Gabbay
by Uwe Reyle, Hans Jürgen Ohlbach (eds.), Edited Uwe Reyle, Hans Jurgen Ohlbach, Andreas Nonnengart
…Logic, Language and Reasoning Essays in Honour of Dov Gabbay edited by Uwe Reyle and Hans J…
Add To MetaCart

Equational axioms for probabilistic bisimilarity (preliminary report
by Luca Aceto, Luca Aceto, Zolt An Esik, Zolt An Esik, Anna Ing Olfsd Ottir, Anna Ing Olfsd Ottir — 2002 — In Proceedings of 9th AMAST, Lecture Notes in Computer Science
… by Stark and Smolka ((2000) Proof, Language, and Interaction: Essays in Honour of Robin Milner, pp. 571…
Cited by 13 (0 self) – Add To MetaCart

Compositionality of Hennessy-Milner Logic
by Through Structural Operational, Wan Fokkink
… provides the foundations of Winskel's proof system for SCCS with modal assertions. In [27], [2] and [1…
Add To MetaCart

Testing Hennessy-Milner Logic with Recursion
by Luca Aceto, Anna Ingólfsdóttir, Anna Ing Olfsd Ottir — 1998 — Foundations of Software Science and Computation Structures: Second International Conference, FoSSaCS ’99 Proceedings, LNCS
… Research in Computer Science Testing Hennessy-Milner Logic with Recursion Luca Aceto Anna Ing olfsd ottir…
Cited by 1 (0 self) – Add To MetaCart

[8] R. Milner,
by Communication And, G. D. Plotkin
…[8] R. Milner, Communication and Concurrency, Prentice Hall International Series in Computer…
Add To MetaCart

Coercions in Hindley-Milner Systems
by Robert Kiessling, Zhaohui Luo
… Coercions in Hindley-Milner Systems ? Robert Kiessling and Zhaohui Luo Department of Computer…
Add To MetaCart

A decidable extension of hennessy-milner logic with spatial operators
by Radu Mardare, Corrado Priami — 2006
…Decidable extensions of Hennessy-Milner Logic ⋆ Radu Mardare 1 and Corrado Priami 1,2 1 University…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB