Questions tagged [formal-modeling]

Questions that ask for a mathematical/formal model of an intuitive concept or task

4 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
0
votes
0answers
48 views

Are process calculi (pi calculus, CSP) “shared memory”?

In Andrews' foundations of multithreaded parallel and distributed programming, "shared memory/variable" and "message passing" seem to be opposite programming models, and CSP is ...
0
votes
0answers
170 views

Theoretical background of Classes and Objects

I would like to learn about the possible ways of formalizing Classes and Objects (in programing languages like java) using formal languages. Where should I start? This might be related to my previous ...
0
votes
0answers
60 views

Specification language for specifying both Objects and Primitive data types

I am looking for an specification language, which supports both primitive data types and objects. I already know about Object-Z. But I am wondering if there is any other Specification language that I ...
-4
votes
1answer
2k views

Find sentences with similar relative meaning from a list of sentences against an example one

I want to be able to find sentences with the same meaning. I have a query sentence, and a long list of millions of other sentences. Sentences are words, or a special type of word called a symbol which ...