A complete list of publications generated by lab members is provided
below. Requests for copies/preprints (that are not available on this
page) should be directed to phil.wilsey@uc.edu.
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors
or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's
copyright. In most cases, these works may not be reposted without the
explicit permission of the copyright holder.
D. E. Martin, R. Radhakrishnan, D. M. Rao, M. Chetlur, K. Subramani,
and P. A. Wilsey, "Analysis and
Simulation of Mixed-Technology VLSI Systems", Journal of Parallel
and Distributed Computing, Volume 62, Number 3, 468-493, March 2002.
P. Frey, R. Radhakrishnan, H. W. Carter, P. Alexander, and
P. A. Wilsey, "A Formal Specification and Verification Framework for Time
Warp based Parallel Simulation", IEEE Transactions on Software
Engineering, Volume 28, Number 1, 58-78, January 2002.
K. K. Rangan, N. B. Abu-Ghazaleh, and P. A. Wilsey, "A Distributed
Multiple-SIMD Intelligent Memory," 2001 International Conference on
Parallel Processing (ICPP), 507-516, September 2001.
K. K. Rangan, N. B. Abu-Ghazaleh, and P. A. Wilsey, "A Distributed
Multiple-SIMD Intelligent Memory", 2001 International Conference on
Parallel Processing (ICPP), September 2001.
N. B. Abu-Ghazaleh and P. A. Wilsey, "The Shared Control Parallel
Architecture Model", Journal of Parallel and Distributed
Computing, Volume 61, Number 6, 767-783, June 2001.
K. K. Rangan, N. Pisolkar, N. B. Abu-Ghazaleh, and P. A. Wilsey,
"PPIM-SIM: An Efficient Simulator for a Parallel Processor in Memory",
Proc. of the 34th Annual Simulation Symposium, 117-124, April
2001.
K. K. Rangan, N. Pisolkar, N. B. Abu-Ghazaleh, and P. A. Wilsey,
"Architectural Support for Data-Intensive Applications", Workshop on
Massively Parallel Processing (WMPP), April 2001.
D. M. Rao and P. A. Wilsey,
"Parallel Co-simulation of Conventional and Active Networks,"
Proceedings of the Eighth International Symposium on Modeling, Analysis
and Simulation of Computer and Telecommunication Systems (MASCOTS
2000), 291-298, August 2000.
P. Frey, R. Radhakrishnan, H. W. Carter, and P. A. Wilsey, "Parallel Mixed-Technology
Simulation," 14th Workshop on Parallel and Distributed
Simulation (PADS '2000), 7-14, May 2000.
D. M. Rao, R. Radhakrishnan, and P. A. Wilsey, "Web-based Network Analysis and
Design," ACM Transactions on Modeling and Computer Simulation,
Volume 10, Number 1, 18-38, January 2000.
P. J. Ashenden and P. A. Wilsey, "Principles for Language Extensions
to VHDL to Support High-Level Modeling," VLSI Design, Volume 10,
Number 2, 217-236, 1999.
P. A. Wilsey, "Web-Based Analysis and
Distributed IP," Proceedings of the 1999 Winter Simulation
Conference, P. A. Farrington, H. B. Nembhard, D. T. Sturrock, and
G. W. Evans (eds), 1445-1453, December 1999.
D. M. Rao and P. A. Wilsey, "
Simulation of Ultra-large Communication Networks", Proceedings of
the Seventh International Symposium on Modeling, Analysis and Simulation
of Computer and Telecommunication Systems (MASCOTS '99), 112-119,
October 1999.
N. B. Abu-Ghazaleh and P. A. Wilsey, "Managing Control Asynchrony on
SIMD Machines - A Survey," Advances in Computers, Academic Press,
M. Zelkowitz (ed), Volume 49, 239-302, 1999.
S. Pandey, K. Umamageswaran, and P. A. Wilsey, "VHDL Semantics and Validating
Transformations," IEEE Trans. on Computer-Aided Design of
Integrated Circuits and Systems, Volume 18, Number 7, 936-955, July
1999.
G. D. Sharma, R. Radhakrishnan, U. K. V. Rajasekaran,
N. B. Abu-Ghazaleh, and P. A. Wilsey, "Time Warp Simulation on
Clumps," 13th Workshop on Parallel and Distributed Simulation
(PADS'99), 174-181, May 1999.
V. Chernyakhovsky, P. Frey, R. Radhakrishnan, P. A. Wilsey,
P. Alexander, and H. W. Carter, "A
Formal Framework for Specifying and Verifying Time Warp
Optimizations," Workshop on Formal Methods for Parallel
Programming: Theory and Applications, (LNCS 1586), J. Rolim et
al (eds), 1228-1242, April 1999.
N. V. Thondugulam, D. M. Rao, R. Radhakrishnan, and P. A. Wilsey, "Relaxing Causal Constraints in PDES",
13th International Parallel Processing Symposium (IPPS/SPDP '99),
696-700, April 1999.
R. Rajan, R. Radhakrishnan, and P. A. Wilsey, "Dynamic Cancellation:
Selecting Time Warp Cancellation Strategies at Runtime," VLSI
Design, Volume 9, Number 3, 237-251, 1999.
D. Madhava Rao, R. Radhakrishnan, and P. A. Wilsey, "FWNS: A Framework for Web-based Network
Simulation," 1999 International Conference On Web-Based Modelling
& Simulation (WEBSIM 99), A. G. Bruzzone, A. Uhrmacher, E. H. Page
(eds), Volume 31, Number 3, 9-14, January 1999.
K. Umamageswaran, S. Pandey, and P. A. Wilsey, Formal Semantics and
Proof Techniques for Optimizing VHDL Models, Kluwer Academic
Publishers, Boston, MA, 1999. (ISBN 0-7923-8375-3).
R. Radhakrishnan, D. E. Martin, M. Chetlur, D. Madhava Rao and
P. A. Wilsey, "An Object-Oriented
Time Warp Simulation Kernel", Proceedings of the International
Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE
'98), (LNCS 1505), D. Caromel, R. R. Oldehoeft, and M. Tholburn
(eds), 13-23, December 1998.
D. Madhava Rao, N. V. Thondugulam, R. Radhakrishnan, and P. A. Wilsey,
"Unsynchronized Parallel Discrete Event
Simulation," Proceedings of the 1998 Winter Simulation
Conference, 1563-1570, December 1998.
D. M. Rao, K. Swaminathan, R. Radhakrishnan, P. A. Wilsey, and
P. Alexander, "ANSE: An Active
Networks Simulation Environment," Workshop on Distributed and
Parallel Systems (DAPSYS 98), 127-131, September 1998.
C. H. Young, N. B. Abu-Ghazaleh, and P. A. Wilsey, "OFC: A Distributed Fossil-Collection
Algorithm for Time-Warp," 12th International Symposium on
Distributed Computing, DISC '98 (formerly WDAG), (LNCS 1499),
S. Kutten (ed), 408-418,September 1998.
M. Chetlur, G. D. Sharma, N. B. Abu-Ghazaleh, U. K. Rajasekaran, and
P. A. Wilsey, "An Active
Layer Extension to MPI," Euro PVM/MPI '98, (LNCS 1497),
V. Alexandrov and J. Dongarra (eds), 97-104, September 1998.
N. B. Abu-Ghazaleh and P. A. Wilsey, "Shared Control - Supporting
Control Parallelism using SIMD-like Architectures," European Parallel
Computing Conference (Euro-Par '98), (LNCS 1470), D. Pritchard and
J. Reeve (eds), 1089-1099, September 1998.
N. B. Abu-Ghazaleh and P. A. Wilsey, "Models for Control Unit
Synchronization on Shared Control Architectures," Journal of Parallel
and Distributed Computing, Volume 52, Number 1, 69-81, July 1998.
Dieckman, D., P. Alexander, and P. A. Wilsey, "ActiveSPEC: A Framework
for the Specification and Verification of Active Network Services and
Security Policies," Formal Methods in Security Protocols, June
1998.
K. Swaminathan, R. Radhakrishnan, P. A. Wilsey, and P. Alexander, "Large Scale Active Networks Simulation
," International Workshop on Applied Parallel Computing
(PARA98), (LNCS 1541), B. Kagstrom J. Dongarra, E. Elmroth, and
J. Wasniewski (eds), 537-542, June 1998.
M. Chetlur, N. B. Abu-Ghazaleh, R. Radhakrishnan, and P. A. Wilsey,
"Optimizing Communication in Time
Warp Simulators," 12th Workshop on Parallel and Distributed
Simulation (PADS '98), 64-71, May 1998.
K. Umamageswaran, K. Subramani, P. A. Wilsey, and P. Alexander,
"Formal Verification and Empirical Analysis of Rollback Relaxation,"
Journal of Systems Architecture (formerly published as
Microprocessing and Microprogramming: the Euromicro Journal),
Volume 44, 473-495, 1998.
J. Penix, D. E. Martin, P. Frey, R. Radhakrishnan, P. Alexander and
P. A. Wilsey, "Experiences in Verifying Parallel Simulation Algorithms,"
Workshop on Formal Methods in Software Practice (FMSP-98),
M. Ardis (ed), 16-23, March 1998.
N. B. Abu-Ghazaleh, and P. A. Wilsey, "Variable Instruction Scheduling
for MIMD Interpretation on Pipelined SIMD Machines and for Compositional
Instruction Sets," Concurrency-Practice and Experience, Volume 9,
Number 1, 31-39, January 1997.
P. A. Wilsey, R. Vemuri, P. J. Ashenden, and N. Mause, "Programmed
Monitoring and Digital System Simulation," Current Issues in
Electronic Modeling. Volume 8: Hardware/Software Co-Design and
Co-Verification, 145-162, December 1996.
A. C. Palaniswamy and P. A. Wilsey, "Parameterized Time Warp (PTW): An
Integrated Adaptive Solution to Optimistic PDES," Journal of Parallel
and Distributed Computing Volume 37, Number 2, 134-145, September
1996.
C. H. Young and P. A. Wilsey, "A Distributed Method to Bound Rollback
Lengths for Fossil Collection in Time Warp Simulators," Information
Processing Letters. Volume 59, Number 4, 191-196, August 1996.
P. A. Wilsey, N. Mause, and P. J. Ashenden, "Abstract Data Types and
the Digital System Description and Simulation Environments," Current
Issues in Electronic Modeling. Volume 5: Hardware Component
Modeling, 33-53, March 1996.
B. Kannikeswaran, R. Radhakrishnan, P. Frey, P. Alexander, and
P. A. Wilsey, "Formal Specification
and Verification of the pGVT Algorithm," FME '96: Industrial
Benefit and Advances in Formal Methods (LNCS 1051), M-C. Gaudel and
J. Woodcock (eds), 405-424, March 1996.
C. H. Young and P. A. Wilsey, " Optimistic Fossil Collection for
Time Warp Simulation," 29th Hawaii International Conference on
System Sciences (HICSS-29), H. El-Rewini and B. D. Shriver (eds),
Volume I, 364-372, January 1996.
L. Moore, D. A. Hensgen, D. Charley, V. Krishnaswamy, T. McBrayer,
D. E. Martin, and P. A. Wilsey, "graze: A Tool for Performance
Visualization and Analysis," 1995 International Conference on
Parallel Processing, Volume II Software, C. Polychronopoulos (ed),
II-135-II-138, August 1995.
X. Fan, N. B. Abu-Ghazaleh, and P. A. Wilsey, "On the Complexity of
Scheduling MIMD Operations for SIMD Interpretation," Journal of
Parallel and Distributed Computing, Volume 29, Number 1, 91-95,
August 1995.
P. J. Ashenden and P. A. Wilsey, "Polymorphic Abstract Data Types in
VHDL," International Conference on Electronic Hardware Description
Languages (ICEHDL), 35-40, January 1995.
L. M. D'Souza, X. Fan, and P. A. Wilsey, "pGVT: An Algorithm for Accurate GVT
Estimation," Proceedings of the 8th Workshop on Parallel and
Distributed Simulation (PADS 94), 102-109, July 1994.
A. C. Palaniswamy and P. A. Wilsey, "Adaptive Checkpoint Intervals in
an Optimistically Synchronized Parallel Digital System Simulator",
VLSI 93, 353-362, September 1993.
N. L. Rethman and P. A. Wilsey, "RAPID: A Tool for Hardware/Software
Tradeoff Analysis," Proceedings of the Spring 1993 VHDL International
Users' Forum, 91-99, April 1993.
A. C. Palaniswamy, S. Aji, and P. A. Wilsey, "Performance Measures for
Several Optimizations to a Distributed Digital System Simulator,"
Proceedings of the 26th Annual Simulation Symposium, 21-29, April
1993.
C. E. Slusher, P. A. Wilsey, D. A. Hensgen, and D. Y. Hollinden, "The
Efficient Compilation, Loading, and Execution of Mutated Programs on SIMD
Computers," 5th ISMM International Conference on Parallel and
Distributed Computing and Systems, R. Melhem (ed), 100-103, October
1992.
D. Charley, T. McBrayer, D. Hensgen, P. A. Wilsey, and M. Ankola,
"Distributed Simulation on a Reconfigurable Network using Non-Uniform
Message Passing," 5th ISMM International Conference on Parallel and
Distributed Computing and Systems, R. Melhem (ed), 247-250, October
1992.
P. A. Wilsey, "Developing a Formal Semantic Definition of VHDL," in
VHDL for Simulation, Synthesis and Formal Proofs of Hardware,
J. Mermet (ed), Kluwer Academic Publishers, 245-256, 1992.
A. C. Palaniswamy, S. Aji, and P. A. Wilsey, "An Efficient
Implementation of Lazy Reevaluation," Proceedings of the 25th Annual
Simulation Symposium, 140-146, April 1992.
D. Y. Hollinden, D. A. Hensgen, and P. A. Wilsey, "Experiences
Implementing the MINTABS System on a MasPar MP-1," Proceedings 3rd
Symposium on Experiences with Distributed and Multiprocessor Systems
(SEDMS III), 43-58, March 1992.
P. A. Wilsey and N. Mause, "The Use of Abstract Data Types in Hardware
Description Languages," Proceedings of the 1992 Western Simulation
Multiconference on Simulation in Engineering Education, 101-105,
January 1992.
P. A. Wilsey, T. McBrayer, and D. Sims, "Towards A Formal Model of
VLSI Systems Compatible with VHDL," VLSI 91, 225-236, August 1991.
H. Carter, R. Vemuri, P. A. Wilsey, J. Aylor, R. Waxman, and
T. Hartrum, "High Speed Acceleration of VHDL Simulation, Synthesis, and
ATPG: Overview of the QUEST Project," Spring 1991 VHDL Users'
Group, 85-90, April 1991.
P. A. Wilsey, "Introducing the Notion of Clocks into the VHDL
Description Environment," Spring 1991 VHDL Users' Group, 97-104,
April 1991.
P. A. Wilsey, "Developing a Formal Semantic Definition of VHDL,"
The First European Working Conference on VHDL Methods, September
1990.
P. A. Wilsey, "The Use of Interval Temporal Logic in Specifying
Relationships Between Clock Phases," International Workshop on Timing
Issues in the Specification and Synthesis of Digital Systems, August
1990.
P. A. Wilsey and S. Dasgupta, "A Formal Model of Computer
Architectures for Digital System Design Environments," IEEE
Transactions on Computer-Aided Design of Integrated Circuits and
Systems, Volume 9, Number 5, 473-486, May 1990.
P. Chawla, H. W. Carter, and P. A. Wilsey, "An Investigation of the
Performance of a Distributed Functional Digital Simulator,"
Proceedings of the 32nd Midwest Symposium on Circuits and Systems,
470-476, August 1989.
P. A. Wilsey, "Computer Architecture Specification with Interval
Temporal Logic," Proceedings 9th International Symposium on Computer
Hardware Description Languages, J. A. Darringer and Franz J. Ramming
(Ed.), 35-45, June 1989.
P. A. Wilsey and S. Dasgupta, "Functional and Operational
Specifications of Computer Architectures," Proceedings 9th
International Symposium on Computer Hardware Description Languages,
J. A. Darringer and Franz J. Ramming (Ed.), 209-223, June 1989.
P. A. Wilsey and S. Dasgupta, "A Formal Model of Computer
Architectures for Computer System Design Environments," in Design
Methodologies for VLSI and Computer Architecture, D. A. Edwards
(Ed.), 263-278, September 1988.
S. Dasgupta, P. A. Wilsey, and J. Heinanen, "Axiomatic Specifications
in Firmware Development Systems," IEEE Software, Volume 3, Number
4, 49-58, July 1986.
G. D. Peterson and P. A. Wilsey, ``Requirements for Object-Oriented
Systems Modeling with STEAMS,'' 2001 IEEE International Workshop on
Behavioral Modeling and Simulation Oct 2001.
P. A. Wilsey, "Modeling, Analysis and Simulation of Computer and
Telecommunication Systems," Encyclopedia of Computer Science and
Technology, Marcel Dekker, A. Kent and J. G. Williams (eds), Volume
41, 147-160, 1999.
D. Dieckman, D. E. Martin, and P. A. Wilsey, "Distributed Web-Based
Simulation for Protecting Intellectual Property," Proceedings of
SPIE's 13th Annual International Symposium on Aerospace/Defense Sensing,
Simulation, and Controls, April 1998.
N. B. Abu-Ghazaleh, P. A. Wilsey, J. Potter, R. Walker, and J. Baker,
"Flexible Parallel Processing in Memory: Architecture + Programming
Model," The Third PetaFlop Workshop, held in conjunction with
Frontiers on Massively Parallel Computing, February 1999.
D. Dieckman, D. E. Martin, and P. A. Wilsey, "DISCOE: Distributed
Design & Analysis to Preserve Intellectual Property," IEEE
Information Technology Conference, 57-60, September 1998.
P. J. Ashenden, Philip A. Wilsey, and Dale E. Martin, "SUAVE:
Object-Oriented and Genericity Extensions to VHDL for High-Level
Modeling," Forum on Design Languages, September 1998.
P. A. Wilsey, D. E. Martin, and H. Hirsch, "The SAVANT Project,"
NAECON '98, June 1998.
P. J. Ashenden, P. A. Wilsey, and D. E. Martin, "Considerations on
System-Level Behavioural and Structural Modeling Extensions to VHDL,"
VHDL Users' Group Spring 1998 Conference, 42-50, 1998. (best
paper award).
P. J. Ashenden, P. A. Wilsey, and D. E. Martin, "Reuse Through
Genericity in SUAVE," VHDL Users' Group Fall 1997 Conference,
170-177, October 1997.
P. J. Ashenden, P. A. Wilsey, and D. E. Martin, "SUAVE: Painless
Extension for an Object-Oriented VHDL," VHDL Users' Group Fall 1997
Conference, 60-67, October 1997.
L. M. D'Souza, X. Fan, and P. A. Wilsey, "Modifications to the pGVT
Algorithm to Eliminate Acknowledgement Messages and Inprove the GVT
Broadcast Frequency," Tech. Rept. TR 201-12-96-ECECS, Dept. of Electrical
& Computer Engineering and Computer Science, University of Cincinnati,
November 1996.
D. E. Martin and P. A. Wilsey, "SIMD Processors: Expanding its
Horizons by Emulating Others," IEEE Potentials, 26-28,
October/November 1996.
J. C. Willis, P. A. Wilsey, G. D. Peterson, J. Hines, W. H. Dashiell,
"Semi-Automated Validation of VHDL and Related Languages," VHDL Users'
Group Fall 1996 Conference, 335-342, October 1996.
J. C. Willis, P. A. Wilsey, G. D. Peterson, J. Hines, A. Zamfirescu,
D. E. Martin, and R. N. Newshutz, "Advanced Intermediate Representation
with Extensibility (AIRE)," VHDL Users' Group Fall 1996
Conference, 33-40, October 1996.
S. Mohanty, S. Gunning, and P. A. Wilsey, "Abstract Modeling and
Performance Analysis with HDLs," Third Asia Pacific Conference on
Hardware Description Languages (APCHDL '96), 13-17, January 1996.
D. E. Martin, T. J. McBrayer, and P. A. Wilsey, "Time Warp Parallel
Simulation of VHDL Descriptions and the need for Dynamic Parameter
Adjustment," VHDL Users' Group Fall 1995 Conference, 7.1-7.10,
October 1995.
N. B. Abu-Ghazaleh, P. A. Wilsey, and R. A. Bagley, "Shared Control
Multiprocessors," TR 179-12-94-ECECS, Dept. of Electrical and Computer
Engineering and Computer Science, University of Cincinnati, Cincinnati,
OH, December 1994.
T. McBrayer, V. Krishnaswamy, S. Mohanty, L. Moore, X. Liu, J. Carter,
D. Charley, P. A. Wilsey, D. A. Hensgen, H. W. Carter, P. Chawla,
J. Collier and S. Bilik "VAST: Time Warp Simulation of VHDL on SMP
Workstations," VHDL Users' Group Fall 1994 Conference, November
1994.
L. Moore, D. A. Hensgen, V. Krishnaswamy, and P. A. Wilsey, "The
Importance of Dynamic Memory Allocation in Threaded Applications,"
Technical Report TR 171-6-94-ECE, Dept. of Electrical & Computer
Engineering, University of Cincinnati, June 1994.
X. Fan, P. A. Wilsey, and N. B. Abu-Ghazaleh, "On the Complexity of
Optimizing Instruction Issue Cycles for SIMD Interpretation of MIMD,"
Technical Report TR 170-6-94-ECE, Dept. of Electrical & Computer
Engineering, University of Cincinnati, June 20, 1994.
P. A. Wilsey, "Post-conference Report: 1994 Simulation
MultiConference," Simulation, 1994.
P. A. Wilsey and S. Mohanty, "VHDL Design Libraries for Rapid System
Prototyping," Proceedings of the 1994 Western Simulation
Multiconference on Simulation in Engineering Education, Society for
Computer Simulation, 35-40, January, 1994.
P. A. Wilsey, "Post-conference Report: 1993 Western Multiconference on
Computer Simulation," Simulation, 1993.
P. A. Wilsey, "Post-conference Report: 1993 Western Multiconference on
Computer Simulation," Robotica, 1993.
S. Aji, A. C. Palaniswamy, and P. A. Wilsey, "Interactions of
Optimizations to a Time Warp Synchronized Digital System Simulator,"
Modeling and Simulation (FSM 93), 593-597, June 1993.
A. C. Palaniswamy and P. A. Wilsey, "Adaptive Bounded Time Windows in
an Optimistically Synchronized Simulator," Third Great Lakes Symposium
on VLSI, 114-118, March 1993.
N. B. Abu-Ghazaleh, T. Dichiaro, P. A. Wilsey, D. A. Hensgen, and M.
M. Cahay, "Parallel Execution of Monte Carlo Simulations on SIMD
Processors," Technical Report TR 146-2-93-ECE, Department of Electrical
and Computer Engineering, University of Cincinnati, February 1993.
P. A. Wilsey, R. Vemuri, and N. Mause, "Instrumenting the Digital
System Simulation Environment" Proceedings of the 1993 Western
Simulation Multiconference on Simulation in Engineering Education,
224-229, January 1993.
D. Charley, D. A. Hensgen, T. McBrayer, P. A. Wilsey, and M. Ankola,
"High Speed Communication for Simulation of Large VHDL Models,"
Proceedings of the Fall 1992 VHDL International Users' Forum,
212-216, October 1992.
T. McBrayer, D. Charley, P. A. Wilsey, and D. A. Hensgen, "A Parallel,
Optimistically Synchronized VHDL Simulator Executing on a Network of
Workstations," Proceedings of the Fall 1992 VHDL International Users'
Forum, 218-222, October 1992.
P. A. Wilsey, "Book Review of The Art of Computer Systems
Performance Analysis Techniques for Experimental Design, Measurement,
Simulation, and Modeling, by R. Jain," International Journal in
Computer Simulation, Volume 1, Number 4, pg 427, 1991.
P. A. Wilsey and A. C. Palaniswamy, "Rollback Relaxation," Technical
Report TR 135-2-92-ECE, Department of Electrical and Computer
Engineering, University of Cincinnati, February 1992.
P. A. Wilsey, D. A. Hensgen, C. E. Slusher, N. B. Abu-Ghazaleh, and D.
Y. Hollinden, "Exploiting SIMD Computers for Mutant Program Execution,"
Technical Report TR 133-11-91-ECE, Department of Electrical and Computer
Engineering, University of Cincinnati, November 1991.
P. Chawla and P.A. Wilsey, "Synchronizing Distributed VHDL
Simulation," Technical Report TR 131-4-91-ECE, Department of Electrical
and Computer Engineering, University of Cincinnati, April 1991.
P. A. Wilsey and S. Dasgupta, "Compiling Axiomatic Descriptions for
Imperative Execution," Technical Report TR87-5-1, The Center for Advanced
Computer Studies, University of Southwestern Louisiana, July 1987.
P. A. Wilsey, M. T. Wright, S. Dasgupta, J. Heinanen, and J. Wang, "An
S*M Execution Environment," Technical Report TR87-3-1, The Center for
Advanced Computer Studies, University of Southwestern Louisiana, February
1987.