Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
97
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
812
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
812
Theoretical Aspects of Computing - ICTAC 2006
Authors:
Kamel Barkaoui
,
Ana Cavalcanti
,
Antonio Cerone
ICTAC kinetics committee recommendations for performing kinetic computations on thermal analysis data
Authors:
S Vyazovkina
,
AK Burnhamb
,
JM Criadoc
…
2022 2nd International Conference on Technological Advancements in Computational Sciences (ICTACS)
Authors:
A.R. Yeruva
,
P Choudhari
,
A. Shrivastava
…
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