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
35
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,774
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Theoretical Aspects of Computing – ICTAC 2014
other
Editor(s):
Gabriel Ciobanu
,
Dominique Méry
Publication date
(Print):
2014
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
Electronic Workshops in Computing (eWiC)
Author and book information
Book
ISBN (Print):
978-3-319-10881-0
ISBN (Electronic):
978-3-319-10882-7
Publication date (Print):
2014
DOI:
10.1007/978-3-319-10882-7
SO-VID:
8c8e4f79-b2a0-48fa-87b5-31dea4d958ac
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
From Universal Logic to Computer Science, and Back
pp. 17
Event Analytics
pp. 25
A Logical Descriptor for Regular Languages via Stone Duality
pp. 43
On Clock-Aware LTL Properties of Timed Automata
pp. 61
Linguistic Mechanisms for Context-Aware Security
pp. 80
Partial Models and Weak Equivalence
pp. 97
Probabilistic Recursion Theory and Implicit Computational Complexity
pp. 115
Heterogeneous Timed Machines
pp. 133
Refinement of Structured Interactive Systems
pp. 151
Reasoning Algebraically About Refinement on TSO Architectures
pp. 169
Structural Refinement for the Modal nu-Calculus
pp. 188
Precise Interprocedural Side-Effect Analysis
pp. 206
Expressiveness via Intensionality and Concurrency
pp. 224
Optimally Streaming Greedy Regular Expression Parsing
pp. 241
Learning Cover Context-Free Grammars from Structural Data
pp. 259
Context-Free Sequences
pp. 277
Modular Reasoning for Message-Passing Programs
pp. 295
Symbolic Analysis Tools for CSP
pp. 314
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
pp. 333
On Unary Fragments of MTL and TPTL over Timed Words
pp. 351
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice
pp. 369
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue
pp. 388
UTP Designs for Binary Multirelations
pp. 406
The Arithmetic of Recursively Run-Length Compressed Natural Numbers
pp. 442
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
pp. 460
A Decidable Recursive Logic for Weighted Transition Systems
Similar content
2,774
ICTAC kinetics committee recommendations for performing kinetic computations on thermal analysis data
Authors:
S Vyazovkina
,
AK Burnhamb
,
JM Criadoc
…
The quandary aspects of non-isothermal kinetics beyond the ICTAC kinetic committee recommendations
Authors:
Jaroslav Šesták
2023 3rd International Conference on Technological Advancements in Computational Sciences (ICTACS)
Authors:
S Negi
,
M Garg
,
H. Maindola
…
See all similar
Cited by
1
Structured Interactive Music Scores
Authors:
See all cited by