Prakash Panangaden

Gordon D. Plotkin

Log. Methods Comput. Sci., 2018

A Categorical Characterization of Relative Entropy on Standard Borel Spaces.

[BibT_eX]

[DOI]

Nicolas Gagné

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

An Algebraic Theory of Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Boolean-Valued Semantics for the Stochastic λ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

2017 Kleene award.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2017

2017 LICS test-of-time award.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2017

The 2017 Alonzo Church award.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2017

Editorial comments on the short note by Barry Jay.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

A categorical characterization of relative entropy on Polish spaces.

[BibT_eX]

[DOI]

Nicolas Gagné

CoRR, 2017

On the axiomatizability of quantitative algebras.

[BibT_eX]

[DOI]

Gordon D. Plotkin

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Unrestricted stone duality for Markov processes.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Expressiveness of Probabilistic Modal Logics, Revisited.

[BibT_eX]

[DOI]

Nathanaël Fijalkow

Bartek Klin

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Bisimulation Metrics for Weighted Automata.

[BibT_eX]

[DOI]

Borja Balle

Pascale Gourdeau

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Bicategories of Markov Processes.

[BibT_eX]

[DOI]

Florence Clerc

Harrison Humphrey

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Semantics column.

[BibT_eX]

[DOI]

Michael W. Mislove

ACM SIGLOG News, 2016

Special Issue on Quantum Physics and Logic.

[BibT_eX]

[DOI]

Ichiro Hasuo

New Gener. Comput., 2016

Preface.

[BibT_eX]

[DOI]

Matty Hoban

Bart Jacobs

Inf. Comput., 2016

Quantitative Algebraic Reasoning.

[BibT_eX]

[DOI]

Gordon D. Plotkin

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Fond (and Frank) Memories of Frank.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Probabilistic bisimulation.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2015

Quantum Alternation: Prospects and Problems.

[BibT_eX]

[DOI]

Costin Badescu

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Basis refinement strategies for linear value function approximation in MDPs.

[BibT_eX]

[DOI]

Gheorghe Comanici

Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

A Canonical Form for Weighted Automata and Applications to Approximate Minimization.

[BibT_eX]

[DOI]

Borja Balle

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

On the Formal Verification of Optical Quantum Gates in HOL.

[BibT_eX]

[DOI]

Mohamed Yousri Mahmoud

Sofiène Tahar

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Representation Discovery for MDPs Using Bisimulation Metrics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Algebra-coalgebra duality in Brzozowski's minimization algorithm.

[BibT_eX]

[DOI]

Filippo Bonchi

Marcello M. Bonsangue

ACM Trans. Comput. Log., 2014

Causality in physics and computation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Approximating Markov Processes by Averaging.

[BibT_eX]

[DOI]

J. ACM, 2014

A Metrized Duality Theorem for Markov Processes.

[BibT_eX]

[DOI]

Dexter Kozen

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Fair reactive programming.

[BibT_eX]

[DOI]

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

A Logical Basis for Quantum Evolution and Entanglement.

[BibT_eX]

[DOI]

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Preface to special issue: Developments In Computational Models 2010.

[BibT_eX]

[DOI]

S. Barry Cooper

Elham Kashefi

Math. Struct. Comput. Sci., 2013

Strong Completeness for Markovian Logics.

[BibT_eX]

[DOI]

Dexter Kozen

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Duality in Logic and Computation.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Stone Duality for Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Quantum Field Theory for Legspinners.

[BibT_eX]

[DOI]

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Epistemic Strategies and Games on Concurrent Processes.

[BibT_eX]

[DOI]

Sophia Knight

ACM Trans. Comput. Log., 2012

Dedication.

[BibT_eX]

[DOI]

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Deep Inference and Probabilistic Coherence Spaces.

[BibT_eX]

[DOI]

Richard Blute

Sergey Slavnov

Appl. Categorical Struct., 2012

Minimization via Duality.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Clemens Kupke

Proceedings of the Logic, Language, Information and Computation, 2012

On-the-Fly Algorithms for Bisimulation Metrics.

[BibT_eX]

[DOI]

Gheorghe Comanici

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Taking It to the Limit: Approximate Reasoning for Markov Processes.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Spatial and Epistemic Modalities in Constraint-Based Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Dexter Kozen's Influence on the Theory of Labelled Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Logic and Program Semantics, 2012

Combining Epistemic Logic and Hennessy-Milner Logic.

[BibT_eX]

[DOI]

Sophia Knight

Proceedings of the Logic and Program Semantics, 2012

Probabilistic bisimulation.

[BibT_eX]

Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012

2011

Bisimulation Metrics for Continuous Markov Decision Processes.

[BibT_eX]

[DOI]

SIAM J. Comput., 2011

The Duality of State and Observation in Probabilistic Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2011

The Meaning of Semantics.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

The Search for Structure in Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2011

Quantum Information Channels in Curved Spacetime.

[BibT_eX]

[DOI]

Proceedings of the Models of Computation in Context, 2011

2010

Special Issue on "Quantitative Evaluation of Systems".

[BibT_eX]

[DOI]

Susanna Donatelli

Gerardo Rubino

Perform. Evaluation, 2010

Weak bisimulation is sound and complete for pCTL<sup>*</sup>.

[BibT_eX]

[DOI]

Inf. Comput., 2010

Towards a Logic for Reasoning About Learning in a Changing World.

[BibT_eX]

[DOI]

Mehrnoosh Sadrzadeh

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

An Algebraic Approach to Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Learning in a Changing World, an Algebraic Modal Logical Approach.

[BibT_eX]

[DOI]

Mehrnoosh Sadrzadeh

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Preface.

[BibT_eX]

[DOI]

Bob Coecke

Peter Selinger

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Epistemic Strategies and Games on Concurrent Processes.

[BibT_eX]

[DOI]

Sophia Knight

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Equivalence Relations in Fully and Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Pablo Samuel Castro

Proceedings of the IJCAI 2009, 2009

Approximating Labelled Markov Processes Again!

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Labelled Markov Processes.

[BibT_eX]

[DOI]

Imperial College Press, ISBN: 978-1-84816-287-7, 2009

2008

Foreword.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

On the Bayes risk in information-hiding protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2008

Anonymity protocols as noisy channels.

[BibT_eX]

[DOI]

Inf. Comput., 2008

A Technique for Verifying Measurements.

[BibT_eX]

[DOI]

Keye Martin

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Preface.

[BibT_eX]

[DOI]

Steve Kremer

Proceedings of the 6th Workshop on Security Issues in Concurrency, 2008

Game Semantics for Quantum Stores.

[BibT_eX]

[DOI]

Yannick Delbecque

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

Preface.

[BibT_eX]

[DOI]

Yixiang Chen

Guo-Qiang Zhang

Proceedings of the First International Conference on Foundations of Informatics, 2008

Bounding Performance Loss in Approximate MDP Homomorphisms.

[BibT_eX]

[DOI]

Jonathan Taylor

Proceedings of the Advances in Neural Information Processing Systems 21, 2008

Knowledge and Information in Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Domain Theory and the Causal Structure of Space-Time.

[BibT_eX]

[DOI]

Keye Martin

Proceedings of the Logic and Theory of Algorithms, 2008

2007

The measurement calculus.

[BibT_eX]

[DOI]

Elham Kashefi

J. ACM, 2007

Conformal Field Theory as a Nuclear Functor.

[BibT_eX]

[DOI]

Richard Blute

Dorette Pronk

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Formal Approaches to Information-Hiding (Tutorial).

[BibT_eX]

[DOI]

Romain Beauxis

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Probability of Error in Information-Hiding Protocols.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Foreword.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

The computational power of the W And GHZ States.

[BibT_eX]

[DOI]

Ellie D'Hondt

Quantum Inf. Comput., 2006

Quantum weakest preconditions.

[BibT_eX]

[DOI]

Ellie D'Hondt

Math. Struct. Comput. Sci., 2006

Approximate reasoning for real-time probabilistic processes.

[BibT_eX]

[DOI]

Vineet Gupta

Log. Methods Comput. Sci., 2006

Bisimulation and cocongruence for probabilistic systems.

[BibT_eX]

[DOI]

Inf. Comput., 2006

Methods for Computing State Similarity in Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the UAI '06, 2006

The One Way to Quantum Computation.

[BibT_eX]

[DOI]

Elham Kashefi

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality.

[BibT_eX]

[DOI]

Proceedings of the Computational Structures for Modelling Space, Time and Causality, 20.08., 2006

Representing Systems with Hidden State.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Distributed Measurement-based Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Metrics for Markov Decision Processes with Infinite State Spaces.

[BibT_eX]

[DOI]

Proceedings of the UAI '05, 2005

An approximation algorithm for labelled Markov processes: towards realistic approximation.

[BibT_eX]

[DOI]

Alexandre Bouchard-Côté

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Foreword.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Reasoning About Quantum Knowledge.

[BibT_eX]

[DOI]

Ellie D'Hondt

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

A domain of spacetime intervals in general relativity.

[BibT_eX]

[DOI]

Keye Martin

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.

[BibT_eX]

[DOI]

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.

[BibT_eX]

[DOI]

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Metrics for labelled Markov processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

A relational model of non-deterministic dataflow.

[BibT_eX]

[DOI]

Thomas T. Hildebrandt

Glynn Winskel

Math. Struct. Comput. Sci., 2004

Metrics for Finite Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the UAI '04, 2004

Mathematical techniques for analyzing concurrent and probabilistic systems.

[BibT_eX]

[DOI]

CRM monograph series 23, American Mathematical Society, ISBN: 978-0-8218-3571-5, 2004

2003

Guest Editors' Foreword.

[BibT_eX]

Uwe Nestmann

Nord. J. Comput., 2003

Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

Approximating labelled Markov processes.

[BibT_eX]

[DOI]

Inf. Comput., 2003

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, 2003

Labelled Markov Processes: Stronger and Faster Approximations.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, 2003

Conditional Expectation and the Approximation of Labelled Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Guest Editors' Foreword.

[BibT_eX]

Luca Aceto

Nord. J. Comput., 2002

Bisimulation for Labelled Markov Processes.

[BibT_eX]

[DOI]

Abbas Edalat

Inf. Comput., 2002

Preface.

[BibT_eX]

[DOI]

Uwe Nestmann

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

The Metric Analogue of Weak Bisimulation for Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Weak Bisimulation is Sound and Complete for PCTL*.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

2001

On the expressive power of first-order boolean functions in PCF.

[BibT_eX]

[DOI]

Riccardo Pucella

Theor. Comput. Sci., 2001

Measure and probability for concurrency theorists.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Preface.

[BibT_eX]

[DOI]

Luca Aceto

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

Does Combining Nondeterminism and Probability Make Sense?

[BibT_eX]

Bull. EATCS, 2001

Does Concurrency Theory Have Anything to Say About Parallel Programming?

[BibT_eX]

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

Generating irregular partitionable data structures.

[BibT_eX]

[DOI]

Clark Verbrugge

Theor. Comput. Sci., 2000

From logic to stochastic processes (abstract only).

[BibT_eX]

[DOI]

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Approximating Labeled Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Stochastic Processes as Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Vineet Gupta

Proceedings of the POPL '99, 1999

Metrics for Labeled Markov Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

The Category of Markov Kernels.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

A Logical Characterization of Bisimulation for Labeled Markov Processes.

[BibT_eX]

[DOI]

Abbas Edalat

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

Bisimulation for Labelled Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996

Does Concurrency Theory Have Anything To Say About Parallel Programming?

[BibT_eX]

Bull. EATCS, 1996

1995

Reengineering User Interfaces.

[BibT_eX]

[DOI]

IEEE Softw., 1995

A Logical View of Concurrent Constraint Programming.

[BibT_eX]

Nord. J. Comput., 1995

The Expressive Power of Indeterminate Primitives in Asynchronous Computation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

A design study of the EARTH multiprocessor.

[BibT_eX]

[DOI]

Shashank S. Nemawarkar

Xun Xue

Yingchun Zhu

Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995

1994

The Logical Structure of Concurrent Constraint Programming Languages (Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '94, 1994

1993

Book Review: Programs, Recursion and Unbounded Choice. By Wim H. Hesselink. (Cambridge University Press, 1992. xii+223 pages. ISBN 0-521-40436-3. $39 .95).

[BibT_eX]

[DOI]

SIGACT News, 1993

Nonexpressibility of Fairness and Signaling.

[BibT_eX]

[DOI]

David A. McAllester

Vasant Shanbhogue

J. Comput. Syst. Sci., 1993

Reverse Engineering of User Interfaces.

[BibT_eX]

[DOI]

Proceedings of Working Conference on Reverse Engineering, 1993

Holomorhpic Models of Exponential Types in Linear Logic.

[BibT_eX]

[DOI]

Richard Blute

Robert A. G. Seely

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

Minimal Memory Schedules for Dataflow Networks.

[BibT_eX]

[DOI]

Marija Cubric

Proceedings of the CONCUR '93, 1993

1992

The Expressive Power of Indeterminate Dataflow Primitives

[BibT_eX]

[DOI]

Vasant Shanbhogue

Inf. Comput., May, 1992

A Logic for Reasoning About Security.

[BibT_eX]

[DOI]

Janice I. Glasgow

Glenn H. MacEwen

ACM Trans. Comput. Syst., 1992

Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems.

[BibT_eX]

[DOI]

Kim Taylor

Distributed Comput., 1992

A Hyperdoctrinal View of Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Sematics: Foundations and Applications, 1992

Well-behaved dataflow programs for DSP computation.

[BibT_eX]

[DOI]

Guang R. Gao

R. Govindarajan

Proceedings of the 1992 IEEE International Conference on Acoustics, 1992

1991

A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables.

[BibT_eX]

[DOI]

Keshav Pingali

ACM Trans. Program. Lang. Syst., 1991

The Expressive Power of Delay Operators in SCCS.

[BibT_eX]

[DOI]

Carol Critchlow

Acta Informatica, 1991

Semantic Foundations of Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Vijay A. Saraswat

Martin C. Rinard

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

The Common Order-Theoretic Structure of Version Spaces and ATMS's.

[BibT_eX]

[DOI]

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Stability and Sequentiality in Dataflow Networks.

[BibT_eX]

[DOI]

Vasant Shanbhogue

Eugene W. Stark

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

A Domain-Theoretic Model for a Higher-Order Process Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

A Mechanically Assisted Constructive Proof in Category Theory.

[BibT_eX]

[DOI]

James A. Altucher

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Effect analysis in higher-order languages.

[BibT_eX]

[DOI]

Anne Neirynck

Alan J. Demers

Int. J. Parallel Program., 1989

A Category-theoretic Semantics for Unbounded Indeterminacy.

[BibT_eX]

[DOI]

James R. Russell

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

A Fully Abstract Semantics for a Functional Language with Logic Variables

[BibT_eX]

[DOI]