id
type
0 (not classified)
status
21 (imported old-v2, waiting for another import)
review version
0
cleanup version
0
pending deletion
0 (-)
created at
2025-11-30 10:17:15
updated at
2025-11-30 10:17:16
url
https://pl.cs.jhu.edu/projects/foundations-of-actor-computation/
url length
64
url crc
14463
url crc32
745486463
location type
1 (url matches target location, page_location is empty)
canonical status
10 (verified canonical url)
canonical page id
domain id
domain tld
2295
domain parts
0
originating warc id
-
originating url
https://data.commoncrawl.org/crawl-data/CC-MAIN-2025-33/segments/1754151279927.26/warc/CC-MAIN-20250806232852-20250807022852-00792.warc.gz
source type
11 (CommonCrawl)
server ip
Publication date
2025-08-06 23:35:37
Fetch attempts
0
Original html size
8173
Normalized and saved size
8020
title
Foundations of Actor Computation · The Programming Languages Laboratory
excerpt
content
Status Inactive. The goal of this project is the development of rigorous semantic foundations for actor computation. Here are a few features of the models we developed. A rigorous reworking of the Actor model of computation Operational semantics of executions given. Only fair executions considered, for unfair executions never arise in practice. Observational equivalence and methods for proving observational equivalence in the presence of fairness are defined. Explicit, dynamic modeling of external agents and their interactions. Publications G. Agha, I. Mason, S. Smith, C. Talcott, A Foundation for Actor Computation. Journal of Functional Programming, volume 7, pages 1–72, 1997. G. Agha, I. Mason, S. Smith, C. Talcott, Towards a Theory of Actor Computation. Third International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science 630, 1992.
author
updated
1765326268
block type
0
extracted fields
104
extracted bits
title
full content
content was extracted heuristically
detected location
0
detected language
1 (English)
category id
-
index version
1
paywall score
0
spam phrases
0
text nonlatin
0
text cyrillic
0
text characters
711
text words
128
text unique words
85
text lines
1
text sentences
19
text paragraphs
1
text words per sentence
6
text matched phrases
0
text matched dictionaries
0
image author
featured image