Bu, en son sürümü binaries_linux.zip olarak indirilebilen, çevrimiçi Linux'ta çalışacak PiET: Pi Calculus Equivalences Tester adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile çevrimiçi olarak Linux'ta çalıştırmak için PiET: Pi Calculus Equivalences Tester adlı bu uygulamayı çevrimiçi indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
PiET: Pi Calculus Equivalences Tester, Linux'ta çevrimiçi çalışacak
AÇIKLAMA:
PiET, Pi Calculus için on davranışsal eşdeğerlik için bir doğrulama aracıdır.Seyirci
Gelişmiş Son Kullanıcılar
Kullanıcı arabirimi
Java Salıncak
Programlama dili
OCaml (Hedef Caml)
Bu, https://sourceforge.net/projects/piet/ adresinden de getirilebilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.