<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Models for the substitution axiom of UNITY logic

descriptionPublicationkeyboard_double_arrow_right Article 01 Nov 1993 United Kingdom Publisher:Elsevier BVJournal:Information Processing Letters, volume 48, pages 171-176 (issn: 0020-0190,

Authors: Reichwein, G.; Fiadeiro, JoseLuiz;

doi: 10.1016/0020-0190(93)90141-u

handle: 2381/18068

Models for the substitution axiom of UNITY logic

- Summary
- Subjects
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Country

United Kingdom

Related Organizations

University of Dundee
United Kingdom
University of Leicester
United Kingdom

Keywords

Specification and verification (program logics, model checking, etc.), 330, Theory of programming languages, UNITY, 004, models, substitution axiom, Distributed algorithms, program design language, program modularity

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Fields of Science (4) View all

natural sciences

computer and information sciences

Fields of Science

natural sciences

computer and information sciences

View all

Related to Research communities

UArctic

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!