Câu hỏi được gắn thẻ «process-algebras»

Theo hiểu biết của tôi, có ba đại số quá trình chính đã truyền cảm hứng cho một loạt các nghiên cứu về các mô hình đồng thời chính thức. Đó là: CCS và -calculus của Robin Milnerππ\pi CSP của Tony Hoare và ACP của Jan Bergstra và Jan Willem …

21 logic  concurrency  process-algebras 

Với một hệ thống chuyển tiếp nhãn , nơi S là một tập hợp của các quốc gia, Λ là một tập hợp nhãn và → ⊆ S × Λ × S là một ternary mối quan hệ. Như thường lệ, viết p α → q cho ( p , …

20 programming-languages  formal-methods  semantics  process-algebras 

Một quả uống yêu cầu người dùng để chèn một đồng xu ( ), sau đó một thao tác bấm ba nút: ˉ d trà yêu cầu một tách trà e trà , như trên cho cà phê, và ˉ r yêu cầu một khoản hoàn lại (tức là máy …

11 logic  concurrency  modelling  process-algebras  ccs