Petri net models of concurrent Ada programs von Stansifer, Ryan, Marinescu, Dan

Volltext

Explaining type errors in polymorphic languages von Beaven, Mike, Stansifer, Ryan

Volltext

Modeling concurrent programs with colored Petri nets von Stansifer, Ryan, Beaven, Mike, Marinescu, Dan C

Volltext

THE CALCULATION OF EASTER von STANSIFER, R

Volltext

Visualization of Real-Time Data von Stansifer, Ryan, Engrand, Peter

Volltext bestellen

Book Review: Semantics of Programming Languages: Structures and Techniques. By Carl A. Gunter. (MIT Press, 1992. xviii+419pp. ISBN 0-262-07143-6 $37.50) von Stansifer, Ryan

Volltext

A functional language with classes von Beaven, Mike, Stansifer, Ryan, Wetklow, Dan

Volltext

Using ML as a command language von Chapin, Steve J., Stansifer, Ryan

Volltext

Colored Petri net models of concurrent Ada programs von Stansifer, R., Marinescu, D.

Volltext bestellen

A parallel algorithm for computing invariants of Petri net models von Marinescu, D.C., Beaven, M., Stansifer, R.

Volltext bestellen

VERT-verification of real-time programs von Beaven, M., Elmore, B., Marinescu, D.C., Stansifer, R.

Volltext bestellen

A formal algorithmic model compatible with the conceptual modeling of accounting information systems von Bailey, Andrew D., Han, Kyeong S., Stansifer, Ryan D., Whinston, Andrew B.

Volltext

Flexible user interface for decision support systems von Holsapple, C.W., Park, S., Stansifer, R.D., Whinstn, A.B.

Volltext bestellen