| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://jmid.github.io/iterated/
x-github-request-id: C27A:318CF6:9C9602:AFF84E:69539071
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 08:42:25 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210030-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767084145.290258,VS0,VE206
vary: Accept-Encoding
x-fastly-request-id: 761aee31815a76bc128de2242c95234c091b7f73
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 11 Jul 2016 16:57:29 GMT
access-control-allow-origin: *
etag: W/"5783cff9-9ea"
expires: Tue, 30 Dec 2025 08:52:25 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: F802:1387E:9C508A:AFB647:69539071
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 08:42:25 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210030-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767084146.525310,VS0,VE214
vary: Accept-Encoding
x-fastly-request-id: edc6b239e0ac9d2993738d86fcace90c4549f977
content-length: 939
Process analyzer
Process Analyzer Prototype
Supported syntax:
e ::= n | (e) | x | ? | - e | e1 + e2 | e1 - e2 | e1 * e2
b ::= true | false | ! b | (b) | b and b | e = e | e == e | e < e | e <= e
block ::= stmt | stmt; block | { block }
stmt ::= x = e
| if b then block else block
| while b block
| choose { block | ... | block }
| ch?x
| ch!e
| stop
p ::= spawn id() block
Input processes:
Result: