Document Search Results

Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46677-3/pbk; 978-3-662-46678-0/ebook). Lecture Notes in Computer Science 9034, 436-450 (2015).

Reviewer: Clément Aubert (Boone)

MSC: 03F52 03B47

Cite Review PDF

Full Text: DOI

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)

a & b	logic and
a \| b	logic or
!ab	logic not
abc*	right wildcard
"ab c"	phrase
(ab c)	parentheses

Examples

Fields

Operators

Found 10 Documents (Results 1–10)

Static versus dynamic reversibility in CCS. (English) Zbl 1475.68126

Reversible sessions with flexible choices. (English) Zbl 1462.68121

Relationships between category theory and functional programming with an application. (English) Zbl 1420.18002

Session types and subtyping for orchestrated interactions. (English) Zbl 1433.68232

Event structures for Petri nets with persistence. (English) Zbl 1417.68113

Uniform proofs of ACC representations. (English) Zbl 1406.03053

Improved average-case lower bounds for De Morgan formula size: matching worst-case lower bound. (English) Zbl 1376.03043

The multiparty communication complexity of set disjointness. (English) Zbl 1393.68052

Cobham recursive set functions. (English) Zbl 1383.03050

On the dependencies of logical rules. (English) Zbl 1367.03109

Filter Results by …

Access

Document Type

Author

Serial

Year of Publication

Main Field

Software