Search Sciweavers | Sciweavers

The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as deﬁned in [7] allow one to faithfully reﬂ...

Egon Börger, Tommaso Bolognesi

claim paper

Read More »

81

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

Privacy, Abstract Encryption and Protocols: An ASM Model - Part I

15 years 2 months ago

Download titan.fsb.hr

d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...

Dean Rosenzweig, Davor Runje, Neva Slani

claim paper

Read More »

78

click to vote

ASM
2003
ASM

121views Computational Biology» more ASM 2003»

ASMs versus Natural Semantics: A Comparison with New Insights

15 years 2 months ago

Download www.info.uni-karlsruhe.de

Abstract. We compare three speciﬁcation frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...

Sabine Glesner

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers