Based on our algebraic theory we describe a category of models for the pi-calculus, and show that they all preserve bisimulation congruence.
melologue
melomania
melton
membral
melopoeia
memoriter
melopepon
menald
menarche
menisciform
meline
melisma
melismatic
melittology
melliferous
mellification
mellivorous
mellisonant
mellaginous
meliphagous
meatus
mechanomorphic
mechanolatry
mechanism
mecometer
meconium
meconophagist
mendacity
mensuration
menstruum
meniscus
menology
mendiloquence
mensal
mendicant
mentalism
mental
magnificat
marry
martext
martinet
martyrolatry
martingale
masterate
medius
megacerine
meet
meedless
medullary
megalith
megameter
medusiform
meconology
medicaster
mediagenic
medicament
meditabund
medianic
meconomancy
merdivorous
mereology
meritocracy
merkin
mésalliance
mersion
merycism
meropia
mesic
mesochroic
centuries
cereal
chairman
chair
cents
chamber
cavity
cell
censorship
centers
cavalry
cheery
cheerfully
chatting
chatter
cheerful
chemicals
chess
cheers
cheek
cherry
caucus
charming
catsup
cats
categorical
catcher
castor
casts
chest
chestnut
chill
chilly
chip
chop
chin
choosing
chocolate
chunk
choreographed
chops
choppy
chopping
choreographer
chow
chorus
chronicle
chords
chuck
chummy
chump
chronic
churchgoer
church
chunky
churchman
churchly
churchmen
clam
clammy
clad
churchyard
chute
clamor
clamoring
clamps
clams
clasp
clasping
claps
clapping
clan
clash
classified
cleaners
claws
classrooms
classroom
cleft
classic
class
cleverly
cling
cliff
clinch
clip
clod
codes
cogs
clustering
cluster
clumsy
coins
combo
comic
commanded
components
computer
away
bear
claw
down
upon
grass
mind
market
jam
witness
park
national
haywood
state
bend
big
blue
board
breech
foot
ear
grape
fern
bearberries
willow
lichen
worm
seal
brother
bat
brown
bucks
business
businessman
cheese
vulture
iris
around
beaten
beatifying
monde
beautification
board
rat
test
cat
deal
dipper
enchilada
fish
game
gun
hand
league
leaguer
marigold
money
sagebrush
science
shagbark
shellbark
hickory
shot
river
sister
spender
stick
time
top
theory
wheel
bellied
chested
spruce
cone
bat
eared
eyed
shouldered
aspen
ticket
toothed
maple
wigged
leaf
bigfoot
bighearted
bighorn
sheep
bikes
biking
pants
contract
descent
symmetry
symmetric
acid
salt
bilestone
pump
water
well
dictionary
book
broker
gates
holder
entry
exchange
goods
health
indictment
lading
particulars
review
poster
marker
parlor
player
saloon
beckoned
damned
bedchambers
bedfellow
eater
beebread
beechnuts
patty
stew
man
tea
witted
beefburger
beefcakes
begonia
beekeeper
stokers
lettuce
latin
frontalis
mentation
meracious
mercedary
mercer
mentum
menticide
mentatiferous
mephitic
merengue
merdurinous
merino
mercurial
merism
meristic
meretricious
merlon
meronym
merogenesis
meromorphic
merocracy