Back to Results
First PageMeta Content
Actor model / Sieve of Eratosthenes / FIFO / Number / Sieve / Computing / Concurrent computing / Concurrency


PROVING CORRECTNESS OF ACTOR SYSTEMS USING FIFO COMMUNICATION By Ian W. Dunn A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute
Add to Reading List

Document Date: 2015-02-03 22:36:36

Open Document

File Size: 438,52 KB

Share Result on Facebook

Company

Formal Proof Systems / Semigroup / /

Facility

Rensselaer Polytechnic Institute / /

IndustryTerm

actor systems / /

Movie

Athena / /

Organization

COMPUTER SCIENCE Examining Committee / Rensselaer Polytechnic Institute / Graduate Faculty / /

Person

Charles Stewart / Carlos Varela / Ana Milanova / Ian W. Dunn / /

Position

Thesis Adviser / S9 actor / concrete actor / Output actor / Input actor / an Output actor / and an actor / Actor / ACTOR SYSTEMS USING FIFO COMMUNICATION / Input actor / S2 actor / /

SocialTag