This is a repository of Database Tutorial, a database tutorial developed by IFIS at the University of Lübeck. The database ...
ABSTRACT: Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback