Formal Commercial Contracts
156
Microsoft Research330 тыс
Следующее
06.09.16 – 8950:32Популярные
Опубликовано 6 сентября 2016, 5:03
The presentation consists of three parts: First, we briefly consider the problems faced by enterprises in handling commercial contracts today, then we present a foundational enterprise model, the Resources/Events/Agents model (REA), and finally we consider the formal mathematical underpinnings of a specification language for commercial contracts. The specification language for contracts is based on ideas from various process calculi as well as Peyton Jones' work in financial engineering. Some example contracts will be presented and discussed.
Свежие видео
4 дня – 1 27919:28
9 дней – 1474:09
11 дней – 5 16732:51
12 дней – 101 15111:51
14 дней – 24 4791:26Случайные видео
161 день – 2 6598:18
15.07.23 – 4 4071:17:16
14.04.23 – 3 613 8660:59
16.01.23 – 6 5840:34
05.01.23 – 12 8930:22
19.01.11 – 101 4976:51
22 часа – 397 1770:44
1 день – 6140:09
7 дней – 550:59
7 дней – 4 7041:43:16
13 дней – 1865:06
13 дней – 1 0540:28