ViewTube

search

Sign in Sign up Subscriptions

Filters

Upload date

All time

Last hour

Today

This week

This month

This year

Type

All

Video

Channel

Playlist

Movie

Duration

All

Short (< 4 minutes)

Medium (4-20 minutes)

Long (> 20 minutes)

Sort by

Relevance

Rating

Upload date

View count

Features

HD

Subtitles/CC

Creative Commons

3D

Live

4K

360°

VR180

HDR

1 results

TLA+ - The Temporal Logic of Actions

TLA + specification of PCR parallel programming pattern - Jose Solsona & Sergio Yovine

https://conf.tlapl.us/2020/10-Yovine_and_Solsona-TLA_+_specification_of_PCR_parallel_programming_pattern.pdf.

TLA + specification of PCR parallel programming pattern - Jose Solsona & Sergio Yovine

227 views

5 years ago