Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
94
views
0
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,327
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
other
Editor(s):
Martin Leucker
,
Camilo Rueda
,
Frank D. Valencia
Publication date
(Print):
2015
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
SciELO Colombia
Author and book information
Book
ISBN (Print):
978-3-319-25149-3
ISBN (Electronic):
978-3-319-25150-9
Publication date (Print):
2015
DOI:
10.1007/978-3-319-25150-9
SO-VID:
7e5e0d07-9bea-4bd2-9be6-8911e1fdd9af
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem
pp. 28
Location Privacy via Geo-Indistinguishability
pp. 39
A Note on Monitors and Büchi Automata
pp. 58
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)
pp. 63
The Proof Technique of Unique Solutions of Contractions
pp. 69
On Probabilistic Distributed Strategies
pp. 91
Newton Series, Coinductively
pp. 126
Inverse Monoids of Higher-Dimensional Strings
pp. 144
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic
pp. 165
Learning Register Automata with Fresh Value Generation
pp. 184
Modeling Product Lines with Kripke Structures and Modal Logic
pp. 203
Deterministic Regular Expressions with Interleaving
pp. 223
Rigid Families for CCS and the $$\pi $$ -calculus
pp. 241
Quotients of Unbounded Parallelism
pp. 258
Higher-Order Dynamics in Event Structures
pp. 272
Asynchronous Announcements in a Public Channel
pp. 290
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes
pp. 309
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems
pp. 328
A Graphical Theorem of the Alternative for UTVPI Constraints
pp. 349
Converging from Branching to Linear Metrics on Markov Chains
pp. 368
MSO Logic and the Partial Order Semantics of Place/Transition-Nets
pp. 388
A Resource Aware Computational Interpretation for Herbelin’s Syntax
pp. 404
Undecidability Results for Multi-Lane Spatial Logic
pp. 425
Aspect-Oriented Development of Trustworthy Component-based Systems
pp. 445
A Game of Attribute Decomposition for Software Architecture Design
pp. 464
Multi-rate System Design Through Integrating Synchronous Components
pp. 485
Verifying Android’s Permission Model
pp. 505
CSP and Kripke Structures
pp. 524
Specifying and Analyzing the Kademlia Protocol in Maude
pp. 542
Enforcement of (Timed) Properties with Uncontrollable Events
pp. 563
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
pp. 573
CAAL: Concurrency Workbench, Aalborg Edition
pp. 597
A Mathematical Game Semantics of Concurrency and Nondeterminism
pp. 608
First Steps Towards Cumulative Inductive Types in CIC
Similar content
1,327
Informe sobre el estado actual de las pandillas en la ciudad de Cali y su impacto en los índices de violencia social
Authors:
Dinámica económica de los vendedores ambulantes en el centro de Cali
Authors:
I. Franco
,
S MOLINA
Efectos de las intervenciones diseñadas para prevenir las muertes de motociclistas en Cali, Colombia (1993-2001)
Authors:
Victoria Espitia-Hardeman
,
Luis C. Vélez
,
Edgar Munoz
…
See all similar
Cited by
7
Differential privacy: its technological prescriptive using big data
Authors:
Priyank Jain
,
Manasi Gyanchandani
,
Nilay Khare
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres
Authors:
Maike Schwammberger
A Parametric Framework for Reversible \(\pi\)-Calculi
Authors:
Iain Phillips
,
Nobuko Yoshida
,
Claudio Mezzina
…
See all cited by