The following pages link to (Q4054644):
Displayed 38 items.
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039) (← links)
- Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Irreducible fractal structures for Moran type theorems (Q2212423) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- A functional model for describing and reasoning about time behaviour of computing systems (Q2265792) (← links)
- A coarse-grained reconfigurable computing architecture with loop self-pipelining (Q2267088) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- Fractal dimension for fractal structures: applications to the domain of words (Q2449235) (← links)
- Resource control for synchronous cooperative threads (Q2503040) (← links)
- An algebraic theory for behavioral modeling and protocol synthesis in system design (Q2505638) (← links)
- Verification approach of Metropolis design framework for embedded systems (Q2506294) (← links)
- Bicompleting weightable quasi-metric spaces and partial metric spaces (Q2569761) (← links)
- Message Sequence Charts in the Development Process — Roles and Limitations (Q2841315) (← links)
- Event Structure Spans for Nondeterministic Dataflow (Q2866348) (← links)
- Modeling for Verification (Q3176361) (← links)
- Fairness, Resources, and Separation (Q3178252) (← links)
- Actors without Directors: A Kahnian View of Heterogeneous Systems (Q3624561) (← links)
- Signal language to describe the interaction of parallel processes (Q3890095) (← links)
- (Q3914421) (← links)
- (Q4558787) (← links)
- Rethinking arithmetic for deep neural networks (Q4993501) (← links)
- (Q5015372) (← links)
- (Q5020948) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- Compositional relational semantics for indeterminate dataflow networks (Q5096251) (← links)
- Reactive Concurrent Programming Revisited (Q5262951) (← links)
- Non-interleaving Semantics with Causality for Nondeterministic Dataflow (Q5505594) (← links)
- A generalized Kahn Principle for abstract asynchronous networks (Q5887509) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)
- The algebra of stream processing functions (Q5941194) (← links)
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes (Q5958463) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- Programming with streams in Coq a case study: The Sieve of Eratosthenes (Q6083694) (← links)
- DS-partial metric spaces and domain theory (Q6191250) (← links)