Institutional Repository
Search
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
South African Computer Journal 1998(22)
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 2 out of a total of 2 results for collection: South African Computer Journal 1998(22).
(0.003 seconds)
Now showing items 1-2 of 2
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
pGCL: formal reasoning for random algorithms
Morgan, C
;
McI, A
(
South African Computer Society (SAICSIT)
,
1998
)
A logic for the design of multiprogramming systems
Misra, J
(
South African Computer Society (SAICSIT)
,
1998
)
Now showing items 1-2 of 2
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of UnisaIR
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Advisor
Type
This Collection
By Issue Date
Authors
Titles
Subjects
Advisor
Type
My Account
Login
Register
Discover
Author
McI, A (1)
Misra, J (1)
Morgan, C (1)
Subject
Invariant (2)
Correctness proof (1)
Demonic nondeterminism (1)
Ensures (1)
Fairness (1)
Fixed point (1)
Guarded command (1)
Leads-to (1)
Liveness (1)
Predicate transformer (1)
... View More
Date Issued
1998 (2)
Has File(s)
Yes (2)