Pertanyaan yang diberi tag «process-algebras»

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 pengikut yang cukup aktif dan …

21 logic  concurrency  process-algebras 

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 diamati yang menyebabkan perubahan keadaan.S Λ → …

20 programming-languages  formal-methods  semantics  process-algebras 

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 cd¯tehd¯tea\bar d_{\text{tea}}eteheteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar …

11 logic  concurrency  modelling  process-algebras  ccs