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

Models for Concurrency ◽

10.1201/9781003078272-6 ◽

2020 ◽

pp. 78-107

Author(s):

Uri Abraham

Download Full-text

Semantics of concurrent protocols

Models for Concurrency ◽

10.1201/9781003078272-4 ◽

2020 ◽

pp. 48-68

Author(s):

Uri Abraham

Download Full-text

A sliding window protocol

Models for Concurrency ◽

10.1201/9781003078272-12 ◽

2020 ◽

pp. 164-188

Author(s):

Uri Abraham

Keyword(s):

Sliding Window

Download Full-text

Specification of channels

Models for Concurrency ◽

10.1201/9781003078272-11 ◽

2020 ◽

pp. 147-163

Author(s):

Uri Abraham

Download Full-text

On the Producer/Consumer problem: buffers and semaphores

Models for Concurrency ◽

10.1201/9781003078272-8 ◽

2020 ◽

pp. 111-131

Author(s):

Uri Abraham

Keyword(s):

Consumer Problem

Download Full-text

Correctness of protocols

Models for Concurrency ◽

10.1201/9781003078272-5 ◽

2020 ◽

pp. 69-77

Author(s):

Uri Abraham

Download Full-text

Elements of model theory

Models for Concurrency ◽

10.1201/9781003078272-2 ◽

2020 ◽

pp. 3-23

Author(s):

Uri Abraham

Keyword(s):

Model Theory

Download Full-text

Uniform delivery in group communication

Models for Concurrency ◽

10.1201/9781003078272-14 ◽

2020 ◽

pp. 203-231

Author(s):

Uri Abraham

Keyword(s):

Group Communication

Download Full-text

Broadcasting and causal ordering

Models for Concurrency ◽

10.1201/9781003078272-13 ◽

2020 ◽

pp. 189-202

Author(s):

Uri Abraham

Keyword(s):

Causal Ordering

Download Full-text

Circular buffers

Models for Concurrency ◽

10.1201/9781003078272-9 ◽

2020 ◽

pp. 132-144

Author(s):

Uri Abraham

Download Full-text