A Few Considerations on Structural and Logical Composition in Specification Theories

Details A Few Considerations on Structural and Logical Composition in Specification Theories A Few Considerations on Structural and Logical Composition in Specification Theories

2011-01-25

arxiv.org/abs/1101.4734v1

EPTCS 46, 2011, pp. 49-54

Computer Science

Logic in Computer Science

In Proceedings FIT 2010, arXiv:1101.4266

Scientific paper

10.4204/EPTCS.46.4

Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.

Affiliated with

Also associated with

No associations

Rating

A Few Considerations on Structural and Logical Composition in Specification Theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Few Considerations on Structural and Logical Composition in Specification Theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Few Considerations on Structural and Logical Composition in Specification Theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-541826