Browsing by Author Prokić, Ivan
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
---|---|---|
12-Sep-2019 | The C<inf>π</inf>-calculus: A model for confidential name passing | Prokić, Ivan |
1-Jan-2018 | A calculus for modeling floating authorizations | Pantović, Jovanka ; Prokić, Ivan ; Vieira H. |
1-Jan-2019 | Characterization of generalized S-threshold functions by nomura parameters | Prokić, Ivan ; Pantović, Jovanka |
19-Jul-2018 | Characterization of quaternary threshold functions in the vilenkin-chrestenson basis | Prokić, Ivan |
30-Jun-2017 | Nomura Parameters for S-Threshold Functions | Prokić, Ivan ; Pantović, Jovanka |