by
Schellekens, Michel. author.
Format:
Electronic Resources
Excerpt:
A Modular Calculus for the Average Cost of Data Structuring Schellekens, Michel. author.
by
Baigèneres, Thomas. author.
Format:
Electronic Resources
Excerpt:
probability theory, discrete mathematics, calculus, algebra, as well as computer science. Following the model
View Other Search Results
by
Drossopoulou, Sophia. editor.
Format:
Electronic Resources
Excerpt:
Pi-Calculus -- The Conversation Calculus: A Model of Service-Oriented Computation -- Inferring Channel Buffer
by
Okada, Mitsu. editor.
Format:
Electronic Resources
Excerpt:
Noninterference by a Fully Complete Translation to the Simply Typed ?-Calculus -- Formalization of CTL* in
by
Fine, Benjamin. author.
Format:
Electronic Resources
Excerpt:
calculus, and some linear algebra. All necessary concepts from abstract algebra and complex analysis are
by
Cervesato, Iliano. editor.
Format:
Electronic Resources
Excerpt:
Run-Time Enforcement of Policies -- Static vs Dynamic Typing for Access Control in Pi-Calculus -- A Sandbox
by
Coppo, Mario. editor.
Format:
Electronic Resources
Excerpt:
-- Checking Risky Events Is Enough for Local Policies -- The Graph Rewriting Calculus: Confluence and
by
Dimitrakos, Theo. editor.
Format:
Electronic Resources
Excerpt:
Analysis of a Fair Payment Protocol -- Pattern-Matching Spi-Calculus -- Decidability of Opacity with
by
Nicola, Rocco. editor.
Format:
Electronic Resources
Excerpt:
Orchestration of Web Services -- A Concurrent Calculus with Atomic Transactions -- Verification -- Modal I/O
by
Karabulut, Yücel. editor.
Format:
Electronic Resources
Excerpt:
of Privacy Properties in the Applied pi Calculus -- Place and Time Authentication of Cultural Assets
by
Sestoft, Peter. editor.
Format:
Electronic Resources
Excerpt:
Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation for
by
Bugliesi, Michele. editor.
Format:
Electronic Resources
Excerpt:
Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming
Limit Search Results
Narrowed by: