Pages that link to "Item:Q5262978"
From MaRDI portal
The following pages link to Constraint-Based Concurrency and Beyond (Q5262978):
Displaying 27 items.
- Beyond contracts for concurrency (Q846113) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Bounded-wait merge in Shapiro's concurrent Prolog (Q1079007) (← links)
- Hybrid concurrency control for abstract data types (Q1176284) (← links)
- Four domains for concurrency (Q1179700) (← links)
- GOFFIN: Higher-order functions meet concurrent constraints (Q1380128) (← links)
- Confluence in concurrent constraint programming (Q1391102) (← links)
- Restrictions and representations of vector controlled concurrent system behaviours (Q1391736) (← links)
- Alternation and bounded concurrency are reverse equivalent. (Q1854297) (← links)
- Constraints meet concurrency (Q2442869) (← links)
- (Q2767080) (← links)
- Reflections on the future of concurrency theory in general and process calculi in particular (Q2870196) (← links)
- Bisimilarity in concurrent constraint programming (Q2883099) (← links)
- Saturation of Concurrent Collapsible Pushdown Systems (Q2963923) (← links)
- On the Implementation of Speculative Constraint Processing (Q3055681) (← links)
- (Q3795188) (← links)
- The Complexity of Reliable Concurrency Control (Q3801060) (← links)
- (Q4219040) (← links)
- Constraints for polymorphic behaviours of concurrent ML (Q5096301) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
- (Q5169582) (← links)
- (Q5290073) (← links)
- Membrane Computing (Q5316645) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395108) (← links)
- Quantaloids for concurrency (Q5947271) (← links)
