Setahu saya, ada tiga aljabar proses utama yang telah mengilhami berbagai penelitian ke dalam model formal konkurensi. Ini adalah: CCS dan -kalkulus keduanya oleh Robin Milnerππ\pi CSP oleh Tony Hoare dan ACP oleh Jan Bergstra dan Jan Willem Klop Ketiganya tampaknya sampai hari ini memiliki...
Diberi sistem transisi berlabel , di mana adalah seperangkat status, adalah seperangkat label, dan adalah hubungan terner. Seperti biasa, tulis untuk . Transisi berlabel menunjukkan bahwa sistem dalam keadaan mengubah status ke dengan label , yang berarti bahwa adalah beberapa tindakan yang dapat...
Dispenser minuman mengharuskan pengguna untuk memasukkan koin ( ), lalu tekan salah satu dari tiga tombol: meminta secangkir teh , selain kopi , dan meminta pengembalian uang (yaitu mesin mengembalikan koin: ). Dispenser ini dapat dimodelkan dengan proses CCS berikut :ˉ d teheteh ˉ r ˉ bc¯c¯\bar...