Czy potrafisz modelować wiarygodne transmisje w rachunku różniczkowym? Jeśli tak to jak? Jeśli nie: Czy istnieją podobne algebry procesowe, w których możesz? Co próbowałem: Jeśli nadawca chce wysłać wiadomość do wszystkich do , możesz napisać ! ( i do . Ale w jaki sposób gwarantujesz, że...
Robin Milner zdefiniował bigraphy jako rodzaj struktury graficznej o strukturze podobnej do wykresu, ale w której węzły można zagnieżdżać. Uogólniają kalkulatory procesowe, takie jak CCS i calculus, ale wydaje się, że Milner zamierzał je stosować znacznie bardziej ogólnie: notatki z seminarium na...
Moje doświadczenie dotyczy teorii / logiki złożoności (gdzie przez większość czasu jest tylko jeden proces) oraz przetwarzania rozproszonego (gdzie jest procesów, a jeden lub więcej może zawieść z czasem). Jednak chcę teraz móc powiedzieć coś o procesie odradzania / tworzenia / wydzielania innego...
Od jakiegoś czasu bardzo interesuję się teorią języka programowania i procesami i zacząłem je studiować. Szczerze mówiąc, jest to coś, w czym nie miałbym nic przeciwko karierze. Uważam teorię za niezwykle fascynującą. Jedno ciągłe pytanie, na które wciąż wpadam, brzmi: czy teoria PL lub Process...