Pages that link to "Item:Q6044131"
From MaRDI portal
The following pages link to On implementations and semantics of a concurrent programming language (Q6044131):
Displaying 10 items.
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- A systematic approach to language constructs for concurrent programs (Q792081) (← links)
- Pict correctness revisited (Q1004056) (← links)
- (Q4778648) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- (Q4945248) (← links)
- (Q5014814) (← links)
- (Q5169582) (← links)
- Distributed Computing (Q5897405) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)