Search Results for Calculus.

18 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Yazar

Draheim, Dirk. author.

https://doi.org/10.1007/978-3-642-55198-7

Format:

Electronic Resources

Alıntı:

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

https://doi.org/10.1007/978-3-319-55559-1

Format:

Electronic Resources

Alıntı:

Introduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous

Space in Weak Propositional Proof Systems

Yazar

Bonacina, Ilario. author.

https://doi.org/10.1007/978-3-319-73453-8

Format:

Electronic Resources

Alıntı:

polynomial calculus and its space complexity with a focus on the combinatorial technique to prove monomial

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study

Models of Computation

Yazar

Bruni, Roberto. author.

https://doi.org/10.1007/978-3-319-42900-7

Format:

Electronic Resources

Alıntı:

Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor.

https://doi.org/10.1007/978-3-319-43669-2

Format:

Electronic Resources

Alıntı:

-- Quantum Randomness: From Practice to Theory and Back -- Calculus of Cost Functions -- Part V -- The

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Yazar

Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609

https://doi.org/10.1007/978-3-319-71682-4

Format:

Electronic Resources

Alıntı:

-- Event Calculus agent minds applied to diabetes monitoring -- Multiple-Profile Prediction-of-Use Games. .

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor.

https://doi.org/10.1007/978-3-030-01461-2

Format:

Electronic Resources

Alıntı:

the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

https://doi.org/10.1007/978-3-319-71237-6

Format:

Electronic Resources

Alıntı:

and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus

10.

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Yazar

Alvim, Mário S. editor.

https://doi.org/10.1007/978-3-030-31175-9

Format:

Electronic Resources

Alıntı:

-- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need

11.

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

http://dx.doi.org/10.1007/978-3-319-42282-4

Format:

Electronic Resources

Alıntı:

certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in

12.

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM

	{displayName}	{count}
{error}