A spatial logic for concurrency. II (Q1881257): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q56982084, #quickstatements; #temporary_batch_1712111774907 |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q5714431 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4484489 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A spatial logic for concurrency. I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4737192 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4417861 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2763663 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Anytime, anywhere / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2778816 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4440827 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Algebraic laws for nondeterminism and concurrency / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Separability in the Ambient Logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Logic of Bunched Implications / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5714442 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Extensionality and intensionality of the ambient logics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4499084 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4530621 / rank | |||
Normal rank | |||
Revision as of 11:20, 7 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A spatial logic for concurrency. II |
scientific article |
Statements
A spatial logic for concurrency. II (English)
0 references
4 October 2004
0 references
distributed systems
0 references
modal logic
0 references
proof theory
0 references
sequent calculus
0 references
cut elimination
0 references
