Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
8
views
21
references
Top references
cited by
0
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,270
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
MSO Logic and the Partial Order Semantics of Place/Transition-Nets
other
Author(s):
Mateus de Oliveira Oliveira
Publication date
(Online):
December 25 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
The IET
Most cited references
21
Record
: found
Abstract
: not found
Article
: not found
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
Bruno Courcelle
(1990)
0
comments
Cited
224
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Languages, Automata, and Logic
Wolfgang Thomas
(1997)
0
comments
Cited
147
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Weak Second-Order Arithmetic and Finite Automata
J. Büchi
(1960)
0
comments
Cited
99
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2015
Publication date (Online):
December 25 2015
Pages
: 368-387
DOI:
10.1007/978-3-319-25150-9_22
SO-VID:
7d9f35f3-d9ca-494e-a5d2-53096fccda80
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,270
Chromatic, Phenolic and Antioxidant Properties of <i style='mso-bidi-font-style:normal'>Sorghum bicolor</i> Genotypes
Authors:
José LÓPEZ-CONTRERAS
,
Francisco Zavala-García
,
Vania Urias-Orona
…
Oral pathology in children, frequency, distribution and clinical significance
Authors:
A. Keszler
,
MB Gugliemotti
,
FV Domínguez
Highly Sensitive Fluorometric Hg2+ Biosensor with a Mercury(II)-Speci?c Oligonucleotide (MSO) Probe and Water-Soluble Graphene Oxide (WSGO)
Authors:
Xingfen Liu
,
Likun Miao
,
Xu Jiang
…
See all similar