Amanote Research

Amanote Research

    RegisterSign In

Lazy Transition Systems

doi 10.1145/288548.288633
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1998

Authors
Jordi CortadellaMichael KishinevskyAlex KondratyevLuciano LavagnoAlexander TaubinAlex Yakovlev
Publisher

ACM Press


Related search

Lazy Revocation in Cryptographic File Systems

English

Lazy Arithmetic

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1997English

Practical Typed Lazy Contracts

ACM SIGPLAN Notices
Computer Science
2012English

Comparing Transition Systems With Independence and Asynchronous Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Conceptual Transition Systems

System Informatics
2015English

Lazy XSL Transformations

2003English

Lazy Leukocyte Syndrome

Journal of the Royal Society of Medicine
Medicine
1984English

Leveraging Experience in Lazy Search

2019English

Quantitative Modal Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy