Monograph: Candid - A Formal Language for Electronic Contracting
Preprint
- 1 January 1998
- preprint
- Published by Elsevier in SSRN Electronic Journal
Abstract
This monograph describes CANDID, a formal language for electronic contracting. Details of the language are presented, along with numerous examples.Keywords
This publication has 55 references indexed in Scilit:
- The analysis of distributed systems by means of predicate/transition-netsPublished by Springer Nature ,2005
- Third international workshop on deontic logic in computer science (DEON'96)Data & Knowledge Engineering, 1995
- Ontological aspects of logical databasesInformation Systems, 1985
- Temporal inferencing on administrative databasesInformation Systems, 1985
- Measurement TheoryPublished by Cambridge University Press (CUP) ,1984
- Applications software and organizational change: Issues in the representation of knowledgeInformation Systems, 1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Petri net theory and the modeling of systems : J.L. Peterson: Prentice-Hall International, GB, 1980, 288 pages, £ 14.65, US $ 30.40. ISBN 13-661983-5.Mathematics and Computers in Simulation, 1981
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971
- How to Do Things with WordsAnalysis, 1963