Record: found
Abstract: not found
Book Chapter: not found

Regular Programming for Quantitative Properties of Data Streams

other

Author(s): Rajeev Alur , Dana Fisman , Mukund Raghothaman

Publication date (Print): 2016

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Most cited references 32

Record: found
Abstract: not found
Article: not found

Data Streams: Algorithms and Applications

S Muthukrishnan (2005)

0 comments Cited 101 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Aurora: a new model and architecture for data stream management

Daniel Abadi, Don Carney, Ugur �etintemel … (2003)

0 comments Cited 87 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Finite-memory automata

Michael Kaminski, Nissim Francez (1994)

0 comments Cited 76 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2016

Pages: 15-40

DOI: 10.1007/978-3-662-49498-1_2

SO-VID: 1d12318d-ec01-4373-a4a0-00acf1abb1b4

License:

http://www.springer.com/tdm

History

Data availability:

Regular Programming for Quantitative Properties of Data Streams

Read this book at

Related collections

Smart Contracts Programming Languages

Most cited references 32

Data Streams: Algorithms and Applications

Aurora: a new model and architecture for data stream management

Finite-memory automata

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,547

Cited by 14