Sciweavers

9444 search results - page 100 / 1889
» The Language Model LMNtal
Sort
View
CTCS
1997
Springer
15 years 10 months ago
Presheaf Models for the pi-Calculus
Gian Luca Cattani, Ian Stark, Glynn Winskel
ASPLOS
1996
ACM
15 years 10 months ago
An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors
Vijay S. Pai, Parthasarathy Ranganathan, Sarita V....
UML
1997
Springer
15 years 10 months ago
Business Process Modeling with EPC and UML: Transformation or Integration?
Markus Nüttgens, Thomas Feld, Volker Zimmerma...
SIGADA
1994
Springer
15 years 10 months ago
Structural Model: Architecture for Software Designers
Robert G. Crispen, Lynn D. Stuckey Jr.