section

Session details: Semantics column

Published: 17 August 2015 Publication History

Abstract

It's a special pleasure to introduce this quarter's Semantics Column. The author is Prakash Panangaden, a longtime friend and leader in the theoretical community who needs no introduction to the SIGLOG community. His hard work was fundamental for the creation of SIGLOG, and his research has consistently attracted attention in a broad range of topics. This month's column is on one of those themes -- probabilistic bisimulation. Prakash was the leader of research on labelled Markov processes which led to many of the results he reports in the column.

Session details: Semantics column
1. Mathematics of computing
  1. Probability and statistics
    1. Probabilistic representations

Recommendations

Semantics column

This quarter's Semantics column is devoted to a survey of BI-Logic - the logic of bunched implications - by David Pym. BI-Logics have a broad range of applications, including program verification. In particular they underpin Separation Logic which has ...
Semantics column

In this quarter's column, Stephen Brookes and Peter O'Hearn describe how Concurrent Separation Logic (CSL) arose, including a little about the soundness proof and a discussion of later developments that arose from CSL. The column is especially timely, ...
Session details: Semantics

This issue marks the first "real column" in the Semantics series. I am pleased that the guest author, Achim Jung, agreed to write this column. Achim is renowned for his research in denotational semantics, and in particular in domain theory, and he also ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGLOG News Volume 2, Issue 3

July 2015

77 pages

EISSN:2372-3491

DOI:10.1145/2815493

Editor:
Andrzej Murawski
University of Warwick

Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 August 2015

Published in SIGLOG Volume 2, Issue 3

Check for updates

Qualifiers

Section

Recommendations

Semantics column

Semantics column

Session details: Semantics