Sciweavers

21342 search results - page 258 / 4269
» Structured language modeling
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...
POPL
1992
ACM
15 years 10 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long