Bisakah Anda membuat model siaran yang andal di pi-kalkulus? Jika demikian: Bagaimana? Jika tidak: Apakah ada aljabar proses serupa di mana Anda bisa? Apa yang saya coba: Jika pengirim ingin mengirim pesan y ke semua P 1 ke P n , Anda bisa menulis ! ( ¯ x y ) . S dan x ( z ) . P 1 hingga x...
Robin Milner mendefinisikan bigraphs sebagai jenis struktur grafis dengan struktur seperti grafik tetapi di mana node dapat bersarang. Mereka menggeneralisasi proses kalkulus seperti CCS dan ` kalkulus, tetapi Milner tampaknya bermaksud agar mereka digunakan secara lebih umum: seminar mencatat...
Latar belakang saya adalah teori / logika kompleksitas (di mana hanya ada satu proses sebagian besar waktu), dan dalam komputasi terdistribusi (di mana ada proses, dan satu atau lebih mungkin gagal dari waktu ke waktu). Namun, saya sekarang ingin dapat mengatakan sesuatu tentang proses pemijahan /...
Untuk sementara waktu sekarang, saya sangat tertarik dengan teori bahasa pemrograman dan proses kalkulus dan sudah mulai mempelajarinya. Sejujurnya, itu adalah sesuatu yang saya tidak keberatan untuk berkarier. Saya menemukan teorinya sangat menarik. Satu pertanyaan konstan yang terus saya temui...