Models for Concurrency
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By CRC Press

9781003078272
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-level events

2020 ◽  
pp. 78-107
Author(s):  
Uri Abraham

Semantics of concurrent protocols

2020 ◽  
pp. 48-68
Author(s):  
Uri Abraham

A sliding window protocol

2020 ◽  
pp. 164-188
Author(s):  
Uri Abraham
Keyword(s):  
Sliding Window

Specification of channels

2020 ◽  
pp. 147-163
Author(s):  
Uri Abraham

On the Producer/Consumer problem: buffers and semaphores

2020 ◽  
pp. 111-131
Author(s):  
Uri Abraham
Keyword(s):  
Consumer Problem

Correctness of protocols

2020 ◽  
pp. 69-77
Author(s):  
Uri Abraham

Elements of model theory

2020 ◽  
pp. 3-23
Author(s):  
Uri Abraham
Keyword(s):  
Model Theory

Uniform delivery in group communication

2020 ◽  
pp. 203-231
Author(s):  
Uri Abraham
Keyword(s):  
Group Communication

Broadcasting and causal ordering

2020 ◽  
pp. 189-202
Author(s):  
Uri Abraham
Keyword(s):  
Causal Ordering

Circular buffers

2020 ◽  
pp. 132-144
Author(s):  
Uri Abraham
Load More ...
Sign in / Sign up

Export Citation Format

Share Document