DESCRIBING, STRUCTURING AND IMPLEMENTING OBJECTS Conferences

authors

• FIADEIRO, J
• Maibaum, Thomas

status

• published 

publication date

• January 1, 1991

published in

• FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES  Journal

presented at event

• SCHOOL/WORKSHOP ON RESEARCH AND EDUCATION IN CONCURRENT SYSTEMS ORIENTED LANGUAGES  Conference

keywords

• ACTION LOGIC
• CONCURRENCY
• DEONTIC LOGIC
• ENCAPSULATION
• INTERPRETATION BETWEEN THEORIES
• LOCALITY
• Mathematics
• Mathematics, Applied
• OBJECT SPECIFICATION
• Physical Sciences
• SPECIFICATION MORPHISM
• SYSTEMS
• Science & Technology

International Standard Book Number (ISBN) 10

• 3-540-53931-X

start page

• 274

end page

• 310

volume

• 489