Specification structures and propositions-as-types for concurrency

Authors:
Samson Abramsky;Simon Gay;Rajagopal Nagarajan
Affiliations:
-;-;-
Venue:
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Year:
1996

Strategic directions in concurrency research

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Logical Predicates for Intuitionistic Linear Type Theories

TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Type-directed concurrency

CONCUR 2005 - Concurrency Theory
Uniqueness logic

Theoretical Computer Science - Algebraic methods in language processing
The logic of message-passing

Science of Computer Programming
A general framework for sound and complete Floyd-Hoare logics

ACM Transactions on Computational Logic (TOCL)
Hoare logic in the abstract

CSL'06 Proceedings of the 20th international conference on Computer Science Logic

Hi-index	0.00