Yazar
Draheim, Dirk. author.
Format:
Electronic Resources
Alıntı:
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Introduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous
View Other Search Results
Yazar
Bonacina, Ilario. author.
Format:
Electronic Resources
Alıntı:
polynomial calculus and its space complexity with a focus on the combinatorial technique to prove monomial
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study
Yazar
Bruni, Roberto. author.
Format:
Electronic Resources
Alıntı:
Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains
Yazar
Cooper, S. Barry. editor.
Format:
Electronic Resources
Alıntı:
-- Quantum Randomness: From Practice to Theory and Back -- Calculus of Cost Functions -- Part V -- The
Yazar
Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609
Format:
Electronic Resources
Alıntı:
-- Event Calculus agent minds applied to diabetes monitoring -- Multiple-Profile Prediction-of-Use Games. .
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
-- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need
Yazar
Alexandru, Andrei. author.
Format:
Electronic Resources
Alıntı:
certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in
Yazar
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
Format:
Electronic Resources
Alıntı:
Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM
Arama Sonuçlarını Sınırlandır
Daraltılmış: