Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings > Smaller-State Implementations of 2D FSSP Algorithms
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings |
Dang Van Hung; Deepak Kapur
Springer International Publishing
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Smaller-State Implementations of 2D FSSP Algorithms
Authors

Hiroshi Umeo; Keisuke Kubo; Akira Nomura

ARI Id

1665081969742_4748933

Access

Not Available Free

Pages

136-152

DOI

10.1007/978-3-319-67729-3_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-67729-3_9

Table of Contents of Book
Showing 1 to 20 of 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XX
Front Matter
1-1
A Formal Proof Generator from Semi-formal Proof Documents
Adrián Riesco; Kazuhiro Ogata
3-12
Institutions for Behavioural Dynamic Logic with Binders
Rolf Hennicker; Alexandre Madeira
13-31
The Delay Monad and Restriction Categories
Tarmo Uustalu; Niccolò Veltri
32-50
Logical Characterisation of Parameterised Bisimulations
Divyanshu Bagga; S. Arun Kumar
51-69
A Probabilistic Semantics for the Pure \(\lambda \) -Calculus
Alessandra Di Pierro
70-76
Front Matter
77-77
Towards a Calculus for Dynamic Architectures
Diego Marmsoler
79-99
Class-Diagrams for Abstract Data Types
Thai Son Hoang; Colin Snook; Dana Dghaym; Michael Butler
100-117
Value-Based or Conflict-Based? Opacity Definitions for STMs
Jürgen König; Heike Wehrheim
118-135
Smaller-State Implementations of 2D FSSP Algorithms
Hiroshi Umeo; Keisuke Kubo; Akira Nomura
136-152
Front Matter
153-153
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators
Akim Demaille; Thibaud Michaud
155-173
Polynomial Time Learner for Inferring Subclasses of Internal Contextual Grammars with Local Maximum Selectors
Abhisek Midya; D. G. Thomas; Saleem Malik; Alok Kumar Pani
174-191
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes
Arpit Sharma
192-209
Front Matter
211-211
Constructing Cycles in the Simplex Method for DPLL(T)
Bertram Felgenhauer; Aart Middeldorp
213-228
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements
Agathoklis Kritsimallis
229-247
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing
Peter Gjøl Jensen; Kim Guldstrand Larsen; Jiří Srba
248-265
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings